| Sat, 10 May 2008 14:13:20 +0200 | wenzelm | updated generated file; | changeset | files |
| Sat, 10 May 2008 14:13:03 +0200 | wenzelm | fixed some labels; | changeset | files |
| Sat, 10 May 2008 13:26:25 +0200 | wenzelm | avoid old macros from isar.sty; | changeset | files |
| Sat, 10 May 2008 00:14:00 +0200 | wenzelm | misc reorganization; | changeset | files |
| Fri, 09 May 2008 23:35:57 +0200 | wenzelm | added chapters for "Specifications" and "Proofs"; | changeset | files |
| Fri, 09 May 2008 23:21:33 +0200 | wenzelm | removed outdated comment; | changeset | files |
| Fri, 09 May 2008 23:20:43 +0200 | wenzelm | updated generated file; | changeset | files |
| Fri, 09 May 2008 23:20:17 +0200 | wenzelm | proper antiquotations for commands; | changeset | files |