| Tue, 17 Jul 2007 13:19:18 +0200 | wenzelm | added General/print_mode.ML, pure_setup.ML; | changeset | files |
| Tue, 17 Jul 2007 13:19:17 +0200 | wenzelm | tuned specifications; | changeset | files |
| Mon, 16 Jul 2007 21:39:56 +0200 | krauss | use function package | changeset | files |
| Mon, 16 Jul 2007 21:26:35 +0200 | krauss | more proofs | changeset | files |
| Mon, 16 Jul 2007 21:22:43 +0200 | krauss | some interface cleanup | changeset | files |
| Mon, 16 Jul 2007 21:17:12 +0200 | krauss | added lemma binding: accpI = accp.accI | changeset | files |
| Mon, 16 Jul 2007 21:16:16 +0200 | krauss | updated | changeset | files |
| Mon, 16 Jul 2007 19:18:23 +0200 | paulson | tidied using sledgehammer | changeset | files |