src/HOL/PreList.thy
2000-10-18 wenzelm 2000-10-18 tuned declarations;
2000-10-12 nipkow 2000-10-12 *** empty log message ***
2000-08-17 wenzelm 2000-08-17 fixed deps;
2000-06-14 wenzelm 2000-06-14 theorems [cases type: bool] = case_split;
2000-05-12 paulson 2000-05-12 NatSimprocs is now a theory, not a file
2000-05-08 wenzelm 2000-05-08 moved theory Sexp to Induct examples;
2000-04-21 paulson 2000-04-21 new file Integ/NatSimprocs.ML
2000-03-24 nipkow 2000-03-24 comments
2000-03-16 wenzelm 2000-03-16 added HOL/PreLIst.thy;