Sat, 08 Nov 2014 21:31:51 +0100 | wenzelm | optional proof context for unify operations, for the sake of proper local options; | file | diff | annotate |
Thu, 21 Aug 2014 13:46:29 +0200 | wenzelm | discontinued odd "temporary" workaround from 2006 (6ac7a4fc32a0), which has no measurable relevance; | file | diff | annotate |
Mon, 27 Jan 2014 12:16:08 +0100 | wenzelm | tuned; | file | diff | annotate |
Sun, 26 Jan 2014 13:45:40 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Sat, 25 Jan 2014 22:06:07 +0100 | wenzelm | explicit eigen-context for attributes "where", "of", and corresponding read_instantiate, instantiate_tac; | file | diff | annotate |
Wed, 22 Jan 2014 16:03:11 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Wed, 18 Sep 2013 11:36:12 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
Wed, 18 Sep 2013 11:08:28 +0200 | wenzelm | moved module into plain Isabelle/ML user space; | file | diff | annotate | base |