src/FOL/ex/NewLocaleTest.thy
Mon, 01 Dec 2008 16:59:31 +0100 ballarin No resolution of patterns within context statements.
Mon, 01 Dec 2008 13:43:32 +0100 ballarin Methods intro_locales and unfold_locales apply to both old and new locales.
Fri, 28 Nov 2008 17:43:06 +0100 ballarin Intro_locales_tac to simplify goals involving locale predicates.
Fri, 28 Nov 2008 11:14:13 +0100 ballarin Perform higher-order pattern matching during round-up.
Thu, 27 Nov 2008 21:25:34 +0100 ballarin Proper treatment of expressions with free arguments.
Thu, 27 Nov 2008 10:30:42 +0100 ballarin Tests for sublocale command.
Tue, 25 Nov 2008 18:06:49 +0100 ballarin Test for term patterns added.
Mon, 24 Nov 2008 18:05:20 +0100 ballarin Some regression tests for theorem statements.
Fri, 21 Nov 2008 18:02:19 +0100 ballarin Regression tests for new locale implementation.
less more (0) tip