| Wed, 13 Jun 2007 00:02:01 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 13 Jun 2007 00:02:00 +0200 | wenzelm | removed unused is_atomic; | changeset | files |
| Wed, 13 Jun 2007 00:01:59 +0200 | wenzelm | renamed prove_raw to prove_internal; | changeset | files |
| Wed, 13 Jun 2007 00:01:58 +0200 | wenzelm | merge/merge_refs: plain error instead of exception TERM; | changeset | files |
| Wed, 13 Jun 2007 00:01:57 +0200 | wenzelm | Context positions. | changeset | files |
| Wed, 13 Jun 2007 00:01:56 +0200 | wenzelm | added context_position.ML; | changeset | files |
| Wed, 13 Jun 2007 00:01:54 +0200 | wenzelm | renamed Goal.prove_raw to Goal.prove_internal; | changeset | files |
| Wed, 13 Jun 2007 00:01:51 +0200 | wenzelm | Method.Basic: include position; | changeset | files |
| Wed, 13 Jun 2007 00:01:41 +0200 | wenzelm | tuned proofs: avoid implicit prems; | changeset | files |
| Wed, 13 Jun 2007 00:01:38 +0200 | wenzelm | Basic text: include position; | changeset | files |
| Tue, 12 Jun 2007 23:39:02 +0200 | huffman | thm antiquotations | changeset | files |
| Tue, 12 Jun 2007 23:14:29 +0200 | huffman | add lemma inj_of_nat | changeset | files |