src/FOL/ROOT.ML
1994-11-24 lcp 1994-11-24 trivial changes
1994-10-31 lcp 1994-10-31 FOL/ROOT/FOL_dup_cs: removed as obsolete FOL/ROOT: no longer proves rev_cut_eq for hyp_subst_tac
1994-05-19 wenzelm 1994-05-19 thy reader now initialised by init_thy_reader();
1993-11-16 clasohm 1993-11-16 changed use_thy's parameter to exact theory name
1993-11-09 clasohm 1993-11-09 renamed int-prover.ML to intprover.ML, used exact theory names in ROOT.ML
1993-10-22 clasohm 1993-10-22 changes for new Readthy
1993-09-16 clasohm 1993-09-16 Initial revision