src/Pure/pure.ML
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;