isabelle: Changelog

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

schirmer [Tue, 06 Jul 2004 20:32:20 +0200] rev 15017

print_tac now outputs goals through trace-channel

schirmer [Tue, 06 Jul 2004 20:31:37 +0200] rev 15016

added flag unique_names

schirmer [Tue, 06 Jul 2004 20:31:06 +0200] rev 15015

* record_upd_simproc also simplifies trivial updates: r(|x := x r|) = r * tuned quick and dirty mode

berghofe [Sat, 03 Jul 2004 15:26:58 +0200] rev 15014

Added delete operation.

isabelle