src/HOL/Spec_Check/spec_check.ML
Thu, 30 May 2013 22:11:29 +0200 wenzelm toplevel invocation via implicit ML compilation context;
Thu, 30 May 2013 22:08:01 +0200 wenzelm more direct Context.setmp_thread_data for one-way passing of context;
Thu, 30 May 2013 21:57:01 +0200 wenzelm tuned;
Thu, 30 May 2013 21:47:48 +0200 wenzelm do not open ML structures;
Thu, 30 May 2013 21:28:54 +0200 wenzelm simplified context and data management -- plain ctxt: Proof.context is default for most operations;
Thu, 30 May 2013 20:57:55 +0200 wenzelm more conventional spelling and grammar;
Thu, 30 May 2013 20:38:50 +0200 wenzelm minor tuning -- more linebreaks;
Thu, 30 May 2013 20:09:49 +0200 bulwahn added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;
less more (0) tip