| Fri, 03 Sep 2010 22:36:16 +0200 | wenzelm | configuration options Syntax.ambiguity_enabled (inverse of former Syntax.ambiguity_is_error), Syntax.ambiguity_level (with Isar attribute "syntax_ambiguity_level"), Syntax.ambiguity_limit; | file | diff | annotate |
| Wed, 12 May 2010 14:17:26 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
| Thu, 02 Oct 2008 12:17:20 +0200 | berghofe | Yet another proof of Newman's lemma, this time using the coherent logic prover. | file | diff | annotate |