| Mon, 20 Sep 2010 16:05:25 +0200 | wenzelm | renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only; | file | diff | annotate |
| Mon, 24 May 2010 11:29:49 -0700 | huffman | move unused pattern match syntax stuff into HOLCF/ex | file | diff | annotate |