src/Pure/Isar/spec_parse.ML
2007-07-23 ballarin 2007-07-23 interpretation: equations are propositions not pairs of terms;
2007-04-13 ballarin 2007-04-13 Experimental interpretation code for definitions.
2007-01-19 wenzelm 2007-01-19 Parsers for complex specifications (material from outer_parse.ML);