2006-10-10 haftmann [Tue, 10 Oct 2006 13:59:12 +0200] rev 20950
added IsarAdvanced material
doc-src/Contents doc/Contents

2006-10-10 krauss [Tue, 10 Oct 2006 13:50:33 +0200] rev 20949
Induction rules have schematic variables again.
src/HOL/Tools/function_package/mutual.ML

2006-10-10 haftmann [Tue, 10 Oct 2006 12:08:12 +0200] rev 20948
initial draft
doc-src/IsarAdvanced/Codegen/IsaMakefile doc-src/IsarAdvanced/Codegen/Makefile doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy doc-src/IsarAdvanced/Codegen/Thy/ROOT.ML doc-src/IsarAdvanced/Codegen/codegen.tex doc-src/IsarAdvanced/Codegen/style.sty

2006-10-10 haftmann [Tue, 10 Oct 2006 11:41:29 +0200] rev 20947
*** empty log message ***
doc-src/IsarAdvanced/Classes/Makefile

2006-10-10 haftmann [Tue, 10 Oct 2006 11:38:43 +0200] rev 20946
initial draft
doc-src/IsarAdvanced/Classes/IsaMakefile doc-src/IsarAdvanced/Classes/Makefile doc-src/IsarAdvanced/Classes/Thy/Classes.thy doc-src/IsarAdvanced/Classes/Thy/ROOT.ML doc-src/IsarAdvanced/Classes/classes.bib doc-src/IsarAdvanced/Classes/classes.tex doc-src/IsarAdvanced/Classes/style.sty

2006-10-10 haftmann [Tue, 10 Oct 2006 10:36:14 +0200] rev 20945
fixed intendation
src/Provers/hypsubst.ML

2006-10-10 haftmann [Tue, 10 Oct 2006 10:35:24 +0200] rev 20944
cleanup basic HOL bootstrap
src/HOL/HOL.ML src/HOL/HOL.thy src/HOL/blastdata.ML src/HOL/cladata.ML src/HOL/simpdata.ML

2006-10-10 haftmann [Tue, 10 Oct 2006 10:34:43 +0200] rev 20943
added legacy tactic
src/HOL/ex/MT.ML

2006-10-10 haftmann [Tue, 10 Oct 2006 10:34:42 +0200] rev 20942
purged some ML legacy
src/HOL/Lambda/WeakNorm.thy

2006-10-10 haftmann [Tue, 10 Oct 2006 10:34:41 +0200] rev 20941
added eq_True eq_False True_implies_equals to extraction_expand
src/HOL/Extraction.thy