| 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 |