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 |