Sun, 07 Feb 2010 19:33:34 +0100 | wenzelm | renamed old-style Drule.standard to Drule.export_without_context, to emphasize that this is in no way a standard operation; | file | diff | annotate |
Fri, 20 Nov 2009 15:29:56 -0800 | huffman | make repdef work without (open) option | file | diff | annotate |
Thu, 19 Nov 2009 23:15:24 -0800 | huffman | thy_decl outer syntax for repdef | file | diff | annotate |
Fri, 13 Nov 2009 16:10:04 -0800 | huffman | LocalTheory -> Local_Theory | file | diff | annotate |
Fri, 13 Nov 2009 15:31:20 -0800 | huffman | automate definition of representable domains from algebraic deflations | file | diff | annotate |