| Thu, 24 Apr 2008 16:53:04 +0200 | haftmann | moved 'trivial classes' to foundation of code generator | changeset | files |
| Thu, 24 Apr 2008 11:38:42 +0200 | wenzelm | tuned index commands; | changeset | files |
| Thu, 24 Apr 2008 11:38:10 +0200 | wenzelm | more abstract index commands; | changeset | files |
| Thu, 24 Apr 2008 11:05:19 +0200 | wenzelm | added \indexoutersyntax; | changeset | files |
| Wed, 23 Apr 2008 19:36:18 +0200 | haftmann | fixed proof | changeset | files |
| Wed, 23 Apr 2008 15:04:14 +0200 | wenzelm | misc cleanup; | changeset | files |
| Wed, 23 Apr 2008 12:13:08 +0200 | wenzelm | converted intro.tex to Thy/intro.thy; | changeset | files |
| Tue, 22 Apr 2008 22:00:31 +0200 | haftmann | more general evaluation combinators | changeset | files |
| Tue, 22 Apr 2008 22:00:25 +0200 | haftmann | different handling of eq class for nbe | changeset | files |
| Tue, 22 Apr 2008 13:35:26 +0200 | wenzelm | basic setup for generated document (cf. ../IsarImplementation); | changeset | files |
| Tue, 22 Apr 2008 10:31:15 +0200 | haftmann | dropped theory PreList | changeset | files |
| Tue, 22 Apr 2008 08:33:23 +0200 | haftmann | added explicit check phase after reading of specification | changeset | files |
| Tue, 22 Apr 2008 08:33:21 +0200 | haftmann | added theory Sublist_Order | changeset | files |
| Tue, 22 Apr 2008 08:33:20 +0200 | haftmann | dropped some metis calls | changeset | files |
| Tue, 22 Apr 2008 08:33:19 +0200 | haftmann | tuned proofs | changeset | files |