| Sat, 16 May 2009 20:17:59 +0200 | bulwahn | added new kind generated_theorem for theorems which are generated by packages to distinguish between theorems from users and packages | changeset | files |
| Sat, 16 May 2009 15:24:35 +0200 | bulwahn | merged | changeset | files |
| Sat, 16 May 2009 15:23:52 +0200 | bulwahn | added collection of simplification rules of recursive functions for quickcheck | changeset | files |
| Sat, 16 May 2009 10:19:01 +0200 | bulwahn | merged | changeset | files |
| Fri, 15 May 2009 15:56:28 +0200 | bulwahn | added predicate transformation function for code generation | changeset | files |
| Fri, 15 May 2009 15:29:34 +0200 | bulwahn | added predicate transformation function for code generation | changeset | files |