| Tue, 27 Aug 2002 16:41:52 +0200 | wenzelm | * Pure: disallow duplicate fact bindings within new-style theory files; | changeset | files |
| Tue, 27 Aug 2002 16:41:01 +0200 | wenzelm | disallow duplicate fact bindings for drafts (i.e. within new-style theory files); | changeset | files |
| Tue, 27 Aug 2002 15:40:58 +0200 | wenzelm | tuned; | changeset | files |