krauss [Tue, 26 Sep 2006 17:33:04 +0200] rev 20716
Changed precedence of "op O" (relation composition) from 60 to 75.
haftmann [Tue, 26 Sep 2006 13:34:35 +0200] rev 20715
handling of \<^const> syntax for case; explicit case names for induction rules for rep_datatype
haftmann [Tue, 26 Sep 2006 13:34:17 +0200] rev 20714
tuned syntax for <= <
haftmann [Tue, 26 Sep 2006 13:34:16 +0200] rev 20713
renamed 0 and 1 to HOL.zero and HOL.one respectivly; introduced corresponding syntactic classes
haftmann [Tue, 26 Sep 2006 13:34:15 +0200] rev 20712
renamed 0 and 1 to HOL.zero and HOL.one respectivly
paulson [Tue, 26 Sep 2006 11:11:57 +0200] rev 20711
fixed the definition of "depth"
paulson [Tue, 26 Sep 2006 11:09:33 +0200] rev 20710
Abstraction now handles equations where the RHS is a lambda-expression; also, strings of lambdas
haftmann [Mon, 25 Sep 2006 17:04:47 +0200] rev 20709
some cleanup
haftmann [Mon, 25 Sep 2006 17:04:46 +0200] rev 20708
changed order
haftmann [Mon, 25 Sep 2006 17:04:45 +0200] rev 20707
inserted headings
haftmann [Mon, 25 Sep 2006 17:04:23 +0200] rev 20706
changed interface in codegen_package.ML
haftmann [Mon, 25 Sep 2006 17:04:22 +0200] rev 20705
fixed some mess
haftmann [Mon, 25 Sep 2006 17:04:21 +0200] rev 20704
cleaned up
haftmann [Mon, 25 Sep 2006 17:04:20 +0200] rev 20703
adding constants the modern way