src/Pure/pure_thy.ML
1997-10-24 wenzelm 1997-10-24 Init 'theorems' data. The Pure theories.