| Sun, 12 Oct 2014 17:05:35 +0200 | haftmann | some more facts on divisibility | changeset | files |
| Sun, 12 Oct 2014 17:05:34 +0200 | haftmann | generalized and consolidated some theorems concerning divisibility | changeset | files |
| Sun, 12 Oct 2014 16:31:43 +0200 | haftmann | eliminiated clone | changeset | files |
| Sun, 12 Oct 2014 16:31:28 +0200 | haftmann | more facts about abstract divisibility | changeset | files |
| Fri, 10 Oct 2014 19:55:32 +0200 | haftmann | specialized specification: avoid trivial instances | changeset | files |
| 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 |