| Mon, 17 Mar 2008 07:15:40 +0100 | kleing | fixed broken bintrunc lemma | changeset | files |
| Sat, 15 Mar 2008 22:40:41 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 15 Mar 2008 22:07:34 +0100 | wenzelm | get_thm(s): check facts lookup vs. old thm database; | changeset | files |