2007-01-04 haftmann [Thu, 04 Jan 2007 17:17:48 +0100] rev 21994
updated manual
doc-src/IsarAdvanced/Codegen/Thy/document/Codegen.tex doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs doc-src/IsarAdvanced/Codegen/Thy/examples/arbitrary.ML doc-src/IsarAdvanced/Codegen/Thy/examples/bool_infix.ML doc-src/IsarAdvanced/Codegen/Thy/examples/bool_literal.ML doc-src/IsarAdvanced/Codegen/Thy/examples/bool_mlbool.ML doc-src/IsarAdvanced/Codegen/Thy/examples/class.ML doc-src/IsarAdvanced/Codegen/Thy/examples/collect_duplicates.ML doc-src/IsarAdvanced/Codegen/Thy/examples/fac.ML doc-src/IsarAdvanced/Codegen/Thy/examples/fac_case.ML doc-src/IsarAdvanced/Codegen/Thy/examples/lookup.ML doc-src/IsarAdvanced/Codegen/Thy/examples/pick1.ML doc-src/IsarAdvanced/Codegen/Thy/examples/pick2.ML

2007-01-04 haftmann [Thu, 04 Jan 2007 17:11:09 +0100] rev 21993
updated manual
doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy doc-src/IsarAdvanced/Codegen/Thy/document/Codegen.tex doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs doc-src/IsarAdvanced/Codegen/Thy/examples/arbitrary.ML doc-src/IsarAdvanced/Codegen/Thy/examples/bool_infix.ML doc-src/IsarAdvanced/Codegen/Thy/examples/bool_literal.ML doc-src/IsarAdvanced/Codegen/Thy/examples/bool_mlbool.ML doc-src/IsarAdvanced/Codegen/Thy/examples/class.ML doc-src/IsarAdvanced/Codegen/Thy/examples/collect_duplicates.ML doc-src/IsarAdvanced/Codegen/Thy/examples/dirty_set.ML doc-src/IsarAdvanced/Codegen/Thy/examples/fac.ML doc-src/IsarAdvanced/Codegen/Thy/examples/fac_case.ML doc-src/IsarAdvanced/Codegen/Thy/examples/integers.ML doc-src/IsarAdvanced/Codegen/Thy/examples/lexicographic.ML doc-src/IsarAdvanced/Codegen/Thy/examples/lookup.ML doc-src/IsarAdvanced/Codegen/Thy/examples/pick1.ML doc-src/IsarAdvanced/Codegen/Thy/examples/pick2.ML

2007-01-04 webertj [Thu, 04 Jan 2007 15:29:44 +0100] rev 21992
obsolete sign_of calls removed
src/HOL/Tools/refute.ML

2007-01-04 haftmann [Thu, 04 Jan 2007 14:01:41 +0100] rev 21991
fixed output
src/Pure/Tools/nbe.ML

2007-01-04 haftmann [Thu, 04 Jan 2007 14:01:40 +0100] rev 21990
different handling of eta expansion
src/Pure/Tools/codegen_package.ML

2007-01-04 haftmann [Thu, 04 Jan 2007 14:01:39 +0100] rev 21989
eta-expansion now only to common maximum number of arguments
src/Pure/Tools/codegen_funcgr.ML

2007-01-04 haftmann [Thu, 04 Jan 2007 14:01:38 +0100] rev 21988
clarified code
src/Pure/Tools/codegen_data.ML

2007-01-04 haftmann [Thu, 04 Jan 2007 14:01:37 +0100] rev 21987
more term examples
src/HOL/ex/NormalForm.thy

2007-01-04 haftmann [Thu, 04 Jan 2007 11:56:53 +0100] rev 21986
eliminated Option.app
src/Pure/Isar/toplevel.ML src/Pure/ProofGeneral/proof_general_emacs.ML src/Pure/ProofGeneral/proof_general_pgip.ML

2007-01-04 webertj [Thu, 04 Jan 2007 00:12:30 +0100] rev 21985
constants are unfolded, universal quantifiers are stripped, some minor changes
src/HOL/Tools/refute.ML src/HOL/ex/Refute_Examples.thy