Thu, 08 Jul 2004 19:34:10 +0200 added add_term_varnames, term_varnames;
wenzelm [Thu, 08 Jul 2004 19:34:10 +0200] rev 15025
added add_term_varnames, term_varnames;
Thu, 08 Jul 2004 19:34:00 +0200 got rid of obsolete meta_simpset; tuned;
wenzelm [Thu, 08 Jul 2004 19:34:00 +0200] rev 15024
got rid of obsolete meta_simpset; tuned;
Thu, 08 Jul 2004 19:33:51 +0200 major cleanup; got rid of obsolete meta_simpset;
wenzelm [Thu, 08 Jul 2004 19:33:51 +0200] rev 15023
major cleanup; got rid of obsolete meta_simpset;
Thu, 08 Jul 2004 19:33:31 +0200 tuned simprocs;
wenzelm [Thu, 08 Jul 2004 19:33:31 +0200] rev 15022
tuned simprocs;
Thu, 08 Jul 2004 19:33:05 +0200 got rid of obsolete meta_simpset;
wenzelm [Thu, 08 Jul 2004 19:33:05 +0200] rev 15021
got rid of obsolete meta_simpset;
Thu, 08 Jul 2004 19:32:53 +0200 tuned;
wenzelm [Thu, 08 Jul 2004 19:32:53 +0200] rev 15020
tuned;
Thu, 08 Jul 2004 19:32:46 +0200 removed obsolete dependency;
wenzelm [Thu, 08 Jul 2004 19:32:46 +0200] rev 15019
removed obsolete dependency;
Tue, 06 Jul 2004 20:34:49 +0200 * Pure/Namespace: flag unique_names added
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
Tue, 06 Jul 2004 20:32:20 +0200 print_tac now outputs goals through trace-channel
schirmer [Tue, 06 Jul 2004 20:32:20 +0200] rev 15017
print_tac now outputs goals through trace-channel
Tue, 06 Jul 2004 20:31:37 +0200 added flag unique_names
schirmer [Tue, 06 Jul 2004 20:31:37 +0200] rev 15016
added flag unique_names
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip