| Tue, 01 Jun 2004 18:51:55 +0200 | aspinall | Add panic function which exits Isabelle immediately. | changeset | files |
| Tue, 01 Jun 2004 15:02:05 +0200 | berghofe | Removed ~10000 hack in function idx that can lead to inconsistencies | changeset | files |
| Tue, 01 Jun 2004 15:00:26 +0200 | berghofe | Adapted to new name mangling function in code generator. | changeset | files |
| Tue, 01 Jun 2004 14:59:54 +0200 | berghofe | Adapted to new name mangling function. | changeset | files |
| Tue, 01 Jun 2004 14:59:22 +0200 | berghofe | Improved name mangling function. | changeset | files |
| Tue, 01 Jun 2004 12:36:26 +0200 | wenzelm | proper use of 'nonterminals'; | changeset | files |
| Tue, 01 Jun 2004 12:36:10 +0200 | wenzelm | proper treatment of logical types within syntax; | changeset | files |