| Fri, 13 Mar 2009 19:17:57 +0100 | haftmann | moved some generic nonsense to arith_data.ML | changeset | files |
| Fri, 13 Mar 2009 19:17:57 +0100 | haftmann | tuned ML code | changeset | files |
| Fri, 13 Mar 2009 10:14:47 -0700 | huffman | remove legacy ML bindings | changeset | files |
| Fri, 13 Mar 2009 23:50:05 +0100 | wenzelm | simplified method setup; | changeset | files |
| Fri, 13 Mar 2009 23:32:40 +0100 | wenzelm | simplified goal_spec: default to first goal; | changeset | files |
| Fri, 13 Mar 2009 21:25:15 +0100 | wenzelm | eliminated type Args.T; | changeset | files |
| Fri, 13 Mar 2009 21:24:21 +0100 | wenzelm | added simplified setup; | changeset | files |