isabelle: Changelog

huffman [Tue, 26 Sep 2006 22:37:51 +0200] rev 20717

add header

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

isabelle