| Wed, 11 Jul 2007 10:53:39 +0200 | berghofe | Adapted to new inductive definition package. | changeset | files |
| Wed, 11 Jul 2007 10:52:20 +0200 | berghofe | Adapted to changes in inductive definition package. | changeset | files |
| Wed, 11 Jul 2007 00:46:48 +0200 | wenzelm | tuned comment markup; | changeset | files |
| Wed, 11 Jul 2007 00:29:52 +0200 | wenzelm | treat OuterLex.Error; | changeset | files |