src/Pure/pure_thy.ML
2002-01-10 wenzelm have_thmss vs. have_thmss_i;
2002-01-10 wenzelm added hide_thms;
2001-11-27 wenzelm theory data: removed obsolete finish method;
2001-11-20 wenzelm trfuns *after* binder syntax;
2001-11-19 berghofe Further restructuring of theorem naming functions.
2001-11-11 wenzelm renamed open_smart_store_thms to smart_store_thms_open;
2001-11-08 wenzelm theory data: finish method;
2001-10-31 berghofe - enter_thmx -> enter_thms
2001-09-28 wenzelm internal thm numbering with ":" instead of "_";
2001-08-31 berghofe Added equality axioms and initialization of proof term package.
2000-12-13 wenzelm eliminated GOAL syntax;
2000-11-12 wenzelm Syntax.pure_appl_syntax declared as output syntax for theory ProtoPure;
2000-09-17 wenzelm Display.pretty_thm_sg;
2000-09-02 wenzelm added get_thm_closure;
2000-08-09 wenzelm added get_thms_closure, single_thm;
2000-08-04 wenzelm dummy_pattern moved to term.ML;
2000-07-13 wenzelm add_defs(_i): overloaded option;
2000-07-03 wenzelm added "nothing" (empty list of theorems);
2000-07-01 wenzelm print_theorems: omit name space;
2000-06-29 wenzelm have_thmss: handle multiple lists of arguments;
2000-05-31 wenzelm get_thm(s): automatic transfer;
2000-04-17 wenzelm Pretty.chunks;
2000-03-13 wenzelm add_thms, add_axioms, add_defs: return theorems as well;
1999-11-29 wenzelm Goal: tuned pris;
1999-10-27 wenzelm dummy_pattern: aprop;
1999-10-21 wenzelm forall_elim_var(s) move here from drule.ML;
1999-10-08 wenzelm theorem database now also indexes constants "Trueprop", "all",
1999-10-06 wenzelm fixed naming of single axioms;
1999-09-06 wenzelm removed thms_closure (unused);
1999-09-04 wenzelm eliminated default_name (thms no longer stored for name "");
less more (0) -50 -30 tip