| Fri, 05 Oct 2001 21:52:39 +0200 | wenzelm | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | changeset | files |
| Fri, 05 Oct 2001 21:50:37 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 05 Oct 2001 21:49:59 +0200 | wenzelm | "num" syntax; | changeset | files |
| Fri, 05 Oct 2001 21:49:15 +0200 | wenzelm | added axclass "one" and polymorphic const "1"; | changeset | files |
| Fri, 05 Oct 2001 21:48:04 +0200 | wenzelm | added "num" token; | changeset | files |
| Fri, 05 Oct 2001 21:42:10 +0200 | wenzelm | induct: case names; | changeset | files |
| Fri, 05 Oct 2001 21:37:33 +0200 | wenzelm | sane spacing of "-"; | changeset | files |
| Fri, 05 Oct 2001 16:04:56 +0200 | wenzelm | tuned; | changeset | files |