| Thu, 12 Mar 2009 18:01:26 +0100 | haftmann | strippd Id | changeset | files |
| Thu, 12 Mar 2009 18:01:26 +0100 | haftmann | vague cleanup in arith proof tools setup: deleted dead code, more proper structures, clearer arrangement | changeset | files |
| Thu, 12 Mar 2009 18:01:25 +0100 | haftmann | tuned | changeset | files |
| Thu, 12 Mar 2009 18:01:25 +0100 | haftmann | consider exit status of code generation direcitve | changeset | files |
| Fri, 13 Mar 2009 15:50:06 +0100 | wenzelm | provide regular ML interfaces for Isar source language elements; | changeset | files |
| Fri, 13 Mar 2009 15:50:05 +0100 | wenzelm | get data from plain Proof.context; | changeset | files |
| Thu, 12 Mar 2009 23:12:53 +0100 | wenzelm | more user aliases; | changeset | files |