Fri, 15 May 2009 16:39:19 +0200 | haftmann | adjusted to changes in theory Quickcheck | changeset | files |
Fri, 15 May 2009 16:39:18 +0200 | haftmann | combinators for single-threaded operations | changeset | files |
Fri, 15 May 2009 16:39:18 +0200 | haftmann | tuned code postprocessor | changeset | files |
Fri, 15 May 2009 16:39:17 +0200 | haftmann | dropped theory Term_Of_Syntax | changeset | files |
Fri, 15 May 2009 16:39:16 +0200 | haftmann | hide names in theory Random | changeset | files |
Fri, 15 May 2009 16:39:16 +0200 | haftmann | experimental addition of quickcheck | changeset | files |
Fri, 15 May 2009 16:39:15 +0200 | haftmann | syntax support for term expressions | changeset | files |