| Tue, 17 Jul 2007 16:06:13 +0200 | paulson | Full sort information by default. | changeset | files |
| Tue, 17 Jul 2007 16:05:54 +0200 | berghofe | Added hypotheses. | changeset | files |
| Tue, 17 Jul 2007 16:05:34 +0200 | berghofe | Added clause for hypotheses to proof_of_xml function. | changeset | files |
| Tue, 17 Jul 2007 15:59:50 +0200 | wenzelm | use /usr/proj/polyml/polyml-5.1-test, which might be more stable; | changeset | files |
| Tue, 17 Jul 2007 14:38:00 +0200 | krauss | reverted fun->recdef, since there are problems with induction rule | changeset | files |
| Tue, 17 Jul 2007 13:19:47 +0200 | wenzelm | Pure theory setup. | changeset | files |
| Tue, 17 Jul 2007 13:19:39 +0200 | wenzelm | Generic print mode. | changeset | files |
| Tue, 17 Jul 2007 13:19:21 +0200 | wenzelm | moved cd/pwd to ML compatibility layer (simplifies bootstrapping with Alice); | changeset | files |
| Tue, 17 Jul 2007 13:19:20 +0200 | wenzelm | simplified loading of ML files -- no static forward references; | changeset | files |
| Tue, 17 Jul 2007 13:19:19 +0200 | wenzelm | moved print_translations from Pure.thy to Syntax/syn_trans.ML; | changeset | files |
| 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 |
| Mon, 16 Jul 2007 19:11:37 +0200 | paulson | tidied | changeset | files |
| Mon, 16 Jul 2007 17:29:34 +0200 | paulson | tidied using sledgehammer | changeset | files |
| Mon, 16 Jul 2007 17:13:37 +0200 | paulson | tidied using sledgehammer | changeset | files |
| Mon, 16 Jul 2007 09:29:05 +0200 | haftmann | clarified structure names | changeset | files |
| Mon, 16 Jul 2007 09:29:04 +0200 | haftmann | added function for case certificates | changeset | files |
| Mon, 16 Jul 2007 09:29:03 +0200 | haftmann | dropped outer ROOT structure for generated code | changeset | files |
| Mon, 16 Jul 2007 09:29:02 +0200 | haftmann | tuned | changeset | files |
| Mon, 16 Jul 2007 09:29:01 +0200 | haftmann | fixed SML/NJ int problem | changeset | files |
| Mon, 16 Jul 2007 09:29:00 +0200 | haftmann | updated | changeset | files |
| Fri, 13 Jul 2007 22:36:10 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 12 Jul 2007 12:20:39 +0200 | krauss | updated | changeset | files |
| Thu, 12 Jul 2007 11:43:17 +0200 | wenzelm | updated; | changeset | files |