| Fri, 02 Mar 2007 15:43:22 +0100 | haftmann | added add_numerals_of | changeset | files |
| Fri, 02 Mar 2007 15:43:21 +0100 | haftmann | now using "class" | changeset | files |
| Fri, 02 Mar 2007 15:43:20 +0100 | haftmann | using "fst" "snd" for Haskell code | changeset | files |
| Fri, 02 Mar 2007 15:43:19 +0100 | haftmann | added code theorems for UNIV | changeset | files |
| Fri, 02 Mar 2007 15:43:18 +0100 | haftmann | adjusted to latest changes | changeset | files |
| Fri, 02 Mar 2007 15:43:17 +0100 | haftmann | new code theorems | changeset | files |
| Fri, 02 Mar 2007 15:43:16 +0100 | haftmann | syntax for "class attach const" | changeset | files |
| Fri, 02 Mar 2007 15:43:15 +0100 | haftmann | prefix of class interpretation not mandatory any longer | changeset | files |