| Thu, 20 Mar 2008 12:01:11 +0100 | haftmann | tuned proof | changeset | files |
| Thu, 20 Mar 2008 12:01:10 +0100 | haftmann | added theory Library/Enum.thy | changeset | files |
| Thu, 20 Mar 2008 12:01:09 +0100 | haftmann | tuned proofs | changeset | files |
| Thu, 20 Mar 2008 00:20:51 +0100 | wenzelm | simplified get_thm(s): back to plain name argument; | changeset | files |
| 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 |
| Wed, 19 Mar 2008 22:50:42 +0100 | wenzelm | more antiquotations; | changeset | files |