| Tue, 12 Dec 2006 00:25:03 +0100 | wenzelm | authentic syntax for Pls/Min/Bit; | changeset | files |
| Tue, 12 Dec 2006 00:25:02 +0100 | wenzelm | binary numerals: restricted to actual abstract syntax; | changeset | files |
| Tue, 12 Dec 2006 00:03:42 +0100 | huffman | Hyperreal/FrechetDeriv.thy | changeset | files |
| Tue, 12 Dec 2006 00:02:54 +0100 | huffman | theory of Frechet derivatives | changeset | files |
| Mon, 11 Dec 2006 21:41:05 +0100 | wenzelm | specials: include single quote; | changeset | files |
| Mon, 11 Dec 2006 21:41:03 +0100 | wenzelm | xstr: disallow backslashes; | changeset | files |
| Mon, 11 Dec 2006 21:39:28 +0100 | wenzelm | advanced translation functions: Proof.context; | changeset | files |