| Sat, 07 Nov 2009 08:17:52 +0100 | haftmann | modernized primrec | changeset | files |
| Fri, 06 Nov 2009 21:53:20 +0100 | boehmes | made SML/NJ happy | changeset | files |
| Fri, 06 Nov 2009 21:20:37 +0100 | nipkow | merged | changeset | files |
| Wed, 04 Nov 2009 11:40:59 +0100 | nipkow | merged | changeset | files |
| Thu, 29 Oct 2009 16:23:57 +0100 | nipkow | Replaced exception CRing by error because it is meant for the user. | changeset | files |
| Fri, 06 Nov 2009 19:22:52 +0100 | nipkow | merged | changeset | files |
| Fri, 06 Nov 2009 19:22:32 +0100 | nipkow | Command atp_minimize uses the naive linear algorithm now | changeset | files |
| Fri, 06 Nov 2009 19:02:36 +0100 | bulwahn | merged | changeset | files |
| Fri, 06 Nov 2009 16:59:17 +0100 | bulwahn | merged | changeset | files |
| Fri, 06 Nov 2009 14:16:57 +0100 | bulwahn | merged | changeset | files |
| Fri, 06 Nov 2009 12:10:55 +0100 | bulwahn | merge | changeset | files |
| Fri, 06 Nov 2009 08:47:32 +0100 | bulwahn | merged | changeset | files |
| Fri, 06 Nov 2009 08:18:35 +0100 | bulwahn | adopted the predicate compile quickcheck | changeset | files |
| Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | made definition of functions generically for the different instances | changeset | files |