| Thu, 20 Mar 2008 00:20:49 +0100 | wenzelm | renamed former get_thms(_silent) to get_fact(_silent); | changeset | files |
| Thu, 20 Mar 2008 00:20:48 +0100 | wenzelm | simplified get_thm(s): back to plain name argument; | changeset | files |
| Thu, 20 Mar 2008 00:20:44 +0100 | wenzelm | simplified get_thm(s): back to plain name argument; | changeset | files |