wenzelm [Wed, 13 Jun 2007 00:02:03 +0200] rev 23360
apply_method/end_proof: pass position;
Method.Basic: include position;
wenzelm [Wed, 13 Jun 2007 00:02:02 +0200] rev 23359
renamed map to map_current;
wenzelm [Wed, 13 Jun 2007 00:02:01 +0200] rev 23358
tuned;
wenzelm [Wed, 13 Jun 2007 00:02:00 +0200] rev 23357
removed unused is_atomic;
wenzelm [Wed, 13 Jun 2007 00:01:59 +0200] rev 23356
renamed prove_raw to prove_internal;
tuned;
wenzelm [Wed, 13 Jun 2007 00:01:58 +0200] rev 23355
merge/merge_refs: plain error instead of exception TERM;
wenzelm [Wed, 13 Jun 2007 00:01:57 +0200] rev 23354
Context positions.
wenzelm [Wed, 13 Jun 2007 00:01:56 +0200] rev 23353
added context_position.ML;
wenzelm [Wed, 13 Jun 2007 00:01:54 +0200] rev 23352
renamed Goal.prove_raw to Goal.prove_internal;
wenzelm [Wed, 13 Jun 2007 00:01:51 +0200] rev 23351
Method.Basic: include position;