isabelle: Changelog

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;

wenzelm [Wed, 13 Jun 2007 00:01:41 +0200] rev 23350

tuned proofs: avoid implicit prems;

wenzelm [Wed, 13 Jun 2007 00:01:38 +0200] rev 23349

Basic text: include position; assumption/close: refer to non-atomic assumptions as well, implicit use of prems now considered legacy feature;

huffman [Tue, 12 Jun 2007 23:39:02 +0200] rev 23348

thm antiquotations

huffman [Tue, 12 Jun 2007 23:14:29 +0200] rev 23347

add lemma inj_of_nat

huffman [Tue, 12 Jun 2007 21:59:40 +0200] rev 23346

thm antiquotations

isabelle