isabelle: Changelog

haftmann [Fri, 15 May 2009 16:39:18 +0200] rev 31182

tuned code postprocessor

haftmann [Fri, 15 May 2009 16:39:17 +0200] rev 31181

dropped theory Term_Of_Syntax

haftmann [Fri, 15 May 2009 16:39:16 +0200] rev 31180

hide names in theory Random

haftmann [Fri, 15 May 2009 16:39:16 +0200] rev 31179

experimental addition of quickcheck

haftmann [Fri, 15 May 2009 16:39:15 +0200] rev 31178

syntax support for term expressions

haftmann [Mon, 18 May 2009 09:48:06 +0200] rev 31177

introduced Thm.generatedK

haftmann [Sun, 17 May 2009 07:17:39 +0200] rev 31176

is a definition

bulwahn [Sat, 16 May 2009 20:18:26 +0200] rev 31175

merged

bulwahn [Sat, 16 May 2009 20:17:59 +0200] rev 31174

added new kind generated_theorem for theorems which are generated by packages to distinguish between theorems from users and packages

bulwahn [Sat, 16 May 2009 15:24:35 +0200] rev 31173

merged

isabelle