src/HOL/IOA/ROOT.ML
2009-11-11 wenzelm 2009-11-11 uniform use of simultabeous use_thys;
1998-01-08 oheimb 1998-01-08 removed obsolete comment
1997-04-30 mueller 1997-04-30 old IOA meta theory (see also new version in HOLCF/IOA/meta_theory);
1995-04-13 nipkow 1995-04-13 New ROOT file.
1995-04-10 nipkow 1995-04-10 Removed the "exit 1" calls, since now the Makefile does them.
1995-03-20 clasohm 1995-03-20 converted IOA with curried function application