| Fri, 24 Oct 2008 17:48:39 +0200 | haftmann | tuned | changeset | files |
| Fri, 24 Oct 2008 17:48:37 +0200 | haftmann | new classes "top" and "bot" | changeset | files |
| Fri, 24 Oct 2008 17:48:36 +0200 | haftmann | tuned proof | changeset | files |
| Fri, 24 Oct 2008 17:48:35 +0200 | haftmann | more clever module name aliasses for code generation | changeset | files |
| Fri, 24 Oct 2008 17:48:34 +0200 | haftmann | "arbitrary" merely abbreviates undefined | changeset | files |
| Fri, 24 Oct 2008 17:48:33 +0200 | haftmann | subst is a proper axiom again | changeset | files |
| Fri, 24 Oct 2008 10:41:15 +0200 | haftmann | updated | changeset | files |