src/HOL/IOA/Asig.ML
1998-07-15 paulson 1998-07-15 Removal of leading "\!\!..." from most Goal commands
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1998-01-08 oheimb 1998-01-08 corrected Title
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-04-30 mueller 1997-04-30 old IOA meta theory (see also new version in HOLCF/IOA/meta_theory);