| Tue, 07 Nov 2006 12:20:11 +0100 | krauss | Added a (stub of a) function tutorial | changeset | files |
| Tue, 07 Nov 2006 11:53:55 +0100 | krauss | Preparations for making "lexicographic_order" part of "fun" | changeset | files |
| Tue, 07 Nov 2006 11:47:57 +0100 | wenzelm | renamed 'const_syntax' to 'notation'; | changeset | files |
| Tue, 07 Nov 2006 11:47:56 +0100 | wenzelm | 'const_syntax' command: allow fixed variables, renamed to 'notation'; | changeset | files |
| Tue, 07 Nov 2006 11:46:50 +0100 | wenzelm | replaced const_syntax by notation, which operates on terms; | changeset | files |
| Tue, 07 Nov 2006 11:46:49 +0100 | wenzelm | Isar.context: proper error; | changeset | files |
| Tue, 07 Nov 2006 11:46:48 +0100 | wenzelm | replaced const_syntax by notation, which operates on terms; | changeset | files |