Wed, 18 Aug 2010 12:08:21 +0200 | haftmann | more antiquotations | changeset | files |
Wed, 18 Aug 2010 11:55:27 +0200 | haftmann | added equality instantiation | changeset | files |
Wed, 18 Aug 2010 11:18:24 +0200 | haftmann | use command_def more consciously | changeset | files |