wenzelm [Thu, 08 Jul 2004 19:34:56 +0200] rev 15027
adapted type of simprocs;
wenzelm [Thu, 08 Jul 2004 19:34:18 +0200] rev 15026
make SML/NJ happy;
wenzelm [Thu, 08 Jul 2004 19:34:10 +0200] rev 15025
added add_term_varnames, term_varnames;
wenzelm [Thu, 08 Jul 2004 19:34:00 +0200] rev 15024
got rid of obsolete meta_simpset; tuned;
wenzelm [Thu, 08 Jul 2004 19:33:51 +0200] rev 15023
major cleanup; got rid of obsolete meta_simpset;
wenzelm [Thu, 08 Jul 2004 19:33:31 +0200] rev 15022
tuned simprocs;
wenzelm [Thu, 08 Jul 2004 19:33:05 +0200] rev 15021
got rid of obsolete meta_simpset;
wenzelm [Thu, 08 Jul 2004 19:32:53 +0200] rev 15020
tuned;
wenzelm [Thu, 08 Jul 2004 19:32:46 +0200] rev 15019
removed obsolete dependency;
schirmer [Tue, 06 Jul 2004 20:34:49 +0200] rev 15018
* Pure/Namespace: flag unique_names added
* Pure/Tactic: print_tac outputs goal through trace channel
* HOL/Simplifier: extended record_upd_simproc