src/Pure/pure.ML
1998-11-17 wenzelm 1998-11-17 Theory.apply replaced by Library.apply;
1998-11-14 wenzelm 1998-11-14 Theory.copy;
1998-11-09 wenzelm 1998-11-09 Isar setups;
1998-08-04 wenzelm 1998-08-04 Locale.setup;
1998-07-29 wenzelm 1998-07-29 late setup of Pure and CPure;
1998-06-29 wenzelm 1998-06-29 moved actual (C)Pure theories to pure.ML;