src/FOL/Makefile
1994-06-01 lcp 1994-06-01 added test for $ISABELLEBIN=source directory, to avoid isabelle/Pure being mistaken for bin/Pure
1994-04-22 clasohm 1994-04-22 renamed theory files
1993-11-09 lcp 1993-11-09 Target "test" now depends on examples files
1993-11-09 clasohm 1993-11-09 renamed int-prover.ML to intprover.ML, used exact theory names in ROOT.ML
1993-09-16 clasohm 1993-09-16 Initial revision