| Thu, 21 Jun 2007 20:07:26 +0200 | wenzelm | tuned proofs -- avoid implicit prems; | changeset | files |
| Thu, 21 Jun 2007 17:28:53 +0200 | wenzelm | tuned proofs -- avoid implicit prems; | changeset | files |
| Thu, 21 Jun 2007 17:28:50 +0200 | wenzelm | renamed NatSimprocs.thy to Arith_Tools.thy; | changeset | files |
| Thu, 21 Jun 2007 15:42:15 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 21 Jun 2007 15:42:14 +0200 | wenzelm | adapted tool setup; | changeset | files |
| Thu, 21 Jun 2007 15:42:13 +0200 | wenzelm | added Ferrante-Rackoff setup; | changeset | files |
| Thu, 21 Jun 2007 15:42:12 +0200 | wenzelm | tuned comments; | changeset | files |