aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isa/multiple/A.thy
Commit message (Expand)AuthorAge
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* based on Pure rather than Main (which didn't work because of Pure/CPure clash);Gravatar Makarius Wenzel1999-08-19
* Changes for better testingGravatar David Aspinall1998-11-18
* Test files for handling multiple files with IsabelleGravatar David Aspinall1998-10-19