2006-01-19 agosetup: theory -> theory;
wenzelm [Thu, 19 Jan 2006 21:22:08 +0100] rev 18708
setup: theory -> theory;

2006-01-19 agoUse generic Simplifier.simp_add attribute instead
berghofe [Thu, 19 Jan 2006 15:45:10 +0100] rev 18707
Use generic Simplifier.simp_add attribute instead
of Simplifier.simp_add_global.

2006-01-19 agoRe-inserted consts_code declaration accidentally deleted
berghofe [Thu, 19 Jan 2006 14:59:55 +0100] rev 18706
Re-inserted consts_code declaration accidentally deleted
during last commit.

2006-01-19 agostrengthened some lemmas; simplified some proofs
paulson [Thu, 19 Jan 2006 10:22:13 +0100] rev 18705
strengthened some lemmas; simplified some proofs

2006-01-18 agosubstantial improvement in serialization handling
haftmann [Wed, 18 Jan 2006 11:55:50 +0100] rev 18704
substantial improvement in serialization handling

2006-01-18 agofixed one proof that broke because of the changes
urbanc [Wed, 18 Jan 2006 02:48:58 +0100] rev 18703
fixed one proof that broke because of the changes
Markus did on the rules ex1I

2006-01-17 agosubstantial improvements in code generator
haftmann [Tue, 17 Jan 2006 16:36:57 +0100] rev 18702
substantial improvements in code generator

2006-01-17 agothese hacks are no longer needed
paulson [Tue, 17 Jan 2006 10:26:50 +0100] rev 18701
these hacks are no longer needed

2006-01-17 agoimproved SPASS support
paulson [Tue, 17 Jan 2006 10:26:36 +0100] rev 18700
improved SPASS support

2006-01-16 agocase_result: drop_schematic, i.e. be permissive about illegal binds;
wenzelm [Mon, 16 Jan 2006 21:55:17 +0100] rev 18699
case_result: drop_schematic, i.e. be permissive about illegal binds;