haftmann [Mon, 11 May 2009 11:53:21 +0200] rev 31091
corrected deletetion of code equations for constructors
haftmann [Mon, 11 May 2009 10:53:19 +0200] rev 31090
clarified matter of "proper" flag in code equations
haftmann [Mon, 11 May 2009 09:40:39 +0200] rev 31089
tuned interface of module Code_Unit
haftmann [Mon, 11 May 2009 09:40:38 +0200] rev 31088
clarified terminilogy concerning nbe equations
haftmann [Mon, 11 May 2009 09:40:38 +0200] rev 31087
simplified unoverload/overload policy in code generator preprocessor
paulson [Mon, 11 May 2009 15:05:17 +0100] rev 31086
Change to lowercase path names as directed by local pagemasters
nipkow [Sun, 10 May 2009 14:22:04 +0200] rev 31085
merged
nipkow [Sun, 10 May 2009 14:21:41 +0200] rev 31084
fixed HOLCF proofs
haftmann [Sat, 09 May 2009 09:17:45 +0200] rev 31083
merged
haftmann [Sat, 09 May 2009 09:17:29 +0200] rev 31082
interface changes in linarith.ML
nipkow [Sat, 09 May 2009 07:25:45 +0200] rev 31081
merged
nipkow [Sat, 09 May 2009 07:25:22 +0200] rev 31080
lemmas by Andreas Lochbihler
nipkow [Fri, 08 May 2009 19:20:00 +0200] rev 31079
merged
nipkow [Fri, 08 May 2009 08:07:05 +0200] rev 31078
merged
nipkow [Fri, 08 May 2009 08:06:43 +0200] rev 31077
more lemmas
huffman [Fri, 08 May 2009 16:19:51 -0700] rev 31076
rename constant sq_le to below; rename class sq_ord to below; less->below in many lemma names