Thu, 09 Oct 2014 22:43:48 +0200 | haftmann | more foundational definition for predicate even | changeset | files |
Fri, 10 Oct 2014 18:23:59 +0200 | nipkow | New example Bubblesort | changeset | files |
Thu, 09 Oct 2014 16:47:56 +0200 | haftmann | formally completeted set of experimental static evaluation functions | changeset | files |