wenzelm [Fri, 26 Oct 2007 19:58:32 +0200] rev 25204
replaced Secure.evaluate by ML_Context.evaluate;
wenzelm [Fri, 26 Oct 2007 17:55:33 +0200] rev 25203
asm_rewrite_goal_tac: avoiding PRIMITIVE lets informative exceptions (from simprocs) get through;
wenzelm [Fri, 26 Oct 2007 17:18:32 +0200] rev 25202
proven witness: proper Goal.close_result save huge amounts of resources when using proof terms;
krauss [Fri, 26 Oct 2007 16:12:58 +0200] rev 25201
print the defined constants when finished; tuned
haftmann [Fri, 26 Oct 2007 15:42:23 +0200] rev 25200
adjusted
haftmann [Fri, 26 Oct 2007 15:37:02 +0200] rev 25199
tuned
krauss [Fri, 26 Oct 2007 14:24:32 +0200] rev 25198
added NEWS entry for function package
haftmann [Fri, 26 Oct 2007 10:32:10 +0200] rev 25197
added hint for algebra
haftmann [Thu, 25 Oct 2007 19:27:54 +0200] rev 25196
moved primitive operations to class.ML
haftmann [Thu, 25 Oct 2007 19:27:53 +0200] rev 25195
fixed syntax; truned code structure; added primitive subclass interface with consideraton of syntax etc.