| Fri, 19 Oct 2007 23:21:08 +0200 | wenzelm | tuned proofs: avoid implicit prems; | changeset | files |
| Fri, 19 Oct 2007 23:21:06 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 19 Oct 2007 20:57:16 +0200 | wenzelm | internal tuning: class_target, fork_mixfix, declare_const (singleton), abbrev; | changeset | files |
| Fri, 19 Oct 2007 20:57:14 +0200 | wenzelm | tuned interfaces; | changeset | files |
| Fri, 19 Oct 2007 19:45:31 +0200 | haftmann | tuned | changeset | files |
| Fri, 19 Oct 2007 19:45:29 +0200 | haftmann | antisymmetry not a default intro rule any longer | changeset | files |
| Fri, 19 Oct 2007 16:20:27 +0200 | haftmann | now employing dictionaries | changeset | files |