| Fri, 24 Oct 2008 17:48:42 +0200 | haftmann | "fun" gained a more uniform status | changeset | files |
| Fri, 24 Oct 2008 17:48:40 +0200 | haftmann | simplified syntax for class parameters | changeset | files |
| 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 |
| Fri, 24 Oct 2008 10:41:13 +0200 | haftmann | explicit namings for generated code | changeset | files |
| Thu, 23 Oct 2008 16:07:03 +0200 | wenzelm | Thm.get_def; | changeset | files |
| Thu, 23 Oct 2008 15:28:39 +0200 | wenzelm | Thm.def_name; | changeset | files |
| Thu, 23 Oct 2008 15:28:08 +0200 | wenzelm | multithreading support only for polyml-5.2.1 or later; | changeset | files |
| Thu, 23 Oct 2008 15:28:05 +0200 | wenzelm | renamed get_axiom_i to axiom, removed obsolete get_axiom; | changeset | files |