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