isabelle: Changelog

wenzelm [Fri, 13 Mar 2009 23:56:07 +0100] rev 30521

merged

haftmann [Fri, 13 Mar 2009 19:18:07 +0100] rev 30520

merged

haftmann [Fri, 13 Mar 2009 19:17:58 +0100] rev 30519

coherent binding policy with primitive target operations

haftmann [Fri, 13 Mar 2009 19:17:57 +0100] rev 30518

moved some generic nonsense to arith_data.ML

haftmann [Fri, 13 Mar 2009 19:17:57 +0100] rev 30517

tuned ML code

huffman [Fri, 13 Mar 2009 10:14:47 -0700] rev 30516

remove legacy ML bindings

wenzelm [Fri, 13 Mar 2009 23:50:05 +0100] rev 30515

simplified method setup;

wenzelm [Fri, 13 Mar 2009 23:32:40 +0100] rev 30514

simplified goal_spec: default to first goal;

wenzelm [Fri, 13 Mar 2009 21:25:15 +0100] rev 30513

eliminated type Args.T; pervasive types 'a parser and 'a context_parser;

wenzelm [Fri, 13 Mar 2009 21:24:21 +0100] rev 30512

added simplified setup; eliminated type Args.T; pervasive types 'a parser and 'a context_parser;

isabelle