src/Pure/Thy/thy_syn.ML
2001-10-17 wenzelm 2001-10-17 tuned comments;
1999-07-16 wenzelm 1999-07-16 tuned;
1999-05-12 wenzelm 1999-05-12 rearranged some modules;
1999-02-04 wenzelm 1999-02-04 Symbol.use;
1999-02-03 wenzelm 1999-02-03 delete_tmpfiles (from thy_read.ML); get_lexicon; load_thy;
1997-08-06 wenzelm 1997-08-06 oops;
1997-08-06 wenzelm 1997-08-06 eliminated ThySynData and ThySynFun; added ThySyn.add_syntax;
1996-02-16 paulson 1996-02-16 Elimination of fully-functorial style. Type tactic changed to a type abbrevation (from a datatype). Constructor tactic and function apply deleted.
1994-07-15 clasohm 1994-07-15 added check for concistency of filename and theory name; made loaded_thys a symtab instead of an association list; added store_thm, qed, get_thm, get_thms
1994-06-01 wenzelm 1994-06-01 interface for 'user sections';