Fri, 26 Oct 2007 21:22:18 +0200 | haftmann | dropped square syntax | changeset | files |
Fri, 26 Oct 2007 21:22:17 +0200 | haftmann | localized monotonicity; tuned syntax | changeset | files |
Fri, 26 Oct 2007 21:22:16 +0200 | haftmann | dropped "brown" syntax | changeset | files |
Fri, 26 Oct 2007 19:58:32 +0200 | wenzelm | replaced Secure.evaluate by ML_Context.evaluate; | changeset | files |
Fri, 26 Oct 2007 17:55:33 +0200 | wenzelm | asm_rewrite_goal_tac: avoiding PRIMITIVE lets informative exceptions (from simprocs) get through; | changeset | files |
Fri, 26 Oct 2007 17:18:32 +0200 | wenzelm | proven witness: proper Goal.close_result save huge amounts of resources when using proof terms; | changeset | files |
Fri, 26 Oct 2007 16:12:58 +0200 | krauss | print the defined constants when finished; tuned | changeset | files |