src/Pure/theory.ML
1997-02-28 wenzelm 1997-02-28 added add_tokentrfuns;
1996-12-13 wenzelm 1996-12-13 added typed print translations;
1996-12-10 wenzelm 1996-12-10 add_modesyntax(_i): added 'inout' argument;
1996-11-19 wenzelm 1996-11-19 added add_modesyntax(_i);
1996-09-06 paulson 1996-09-06 Improved error handling: if there are syntax or type-checking errors, prints the name of the offending axiom
1996-03-05 paulson 1996-03-05 Addition of oracles
1996-02-29 paulson 1996-02-29 New file of just the theory primitives