| Mon, 30 Jun 2008 13:41:30 +0200 | haftmann | HOL-Complex with proof terms | changeset | files |
| Mon, 30 Jun 2008 13:41:28 +0200 | haftmann | code generator setup for "int" also works under eta-contraction | changeset | files |
| Sat, 28 Jun 2008 23:52:43 +0200 | wenzelm | added ML/ml_thms.ML; | changeset | files |
| Sat, 28 Jun 2008 22:58:49 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 28 Jun 2008 22:56:26 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 28 Jun 2008 22:54:19 +0200 | wenzelm | additional ML antiquotations; | changeset | files |
| Sat, 28 Jun 2008 22:52:11 +0200 | wenzelm | moved theorem values to ml_thms.ML; | changeset | files |