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 |