| Tue, 11 Mar 2008 17:13:41 +0100 | wenzelm | put_facts: do_props, i.e. facts are indexed by proposition again; | changeset | files |
| Tue, 11 Mar 2008 17:13:04 +0100 | wenzelm | put_thms: pass do_props; | changeset | files |
| Mon, 10 Mar 2008 21:51:47 +0100 | haftmann | tuned | changeset | files |