testboard: Changelog

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

bulwahn [Sat, 16 May 2009 15:23:52 +0200] rev 31172

added collection of simplification rules of recursive functions for quickcheck

bulwahn [Sat, 16 May 2009 10:19:01 +0200] rev 31171

merged

bulwahn [Fri, 15 May 2009 15:56:28 +0200] rev 31170

added predicate transformation function for code generation

bulwahn [Fri, 15 May 2009 15:29:34 +0200] rev 31169

added predicate transformation function for code generation

nipkow [Sat, 16 May 2009 17:44:11 +0200] rev 31168

proof tuned

testboard