Fri, 29 Oct 2010 16:51:40 -0700 | huffman | renamed lemma cont2cont_Rep_CFun to cont2cont_APP | file | diff | annotate |
Wed, 27 Oct 2010 14:15:54 -0700 | huffman | make syntax of continuous if-then-else consistent with HOL if-then-else | file | diff | annotate |
Sat, 16 Oct 2010 16:22:42 -0700 | huffman | remove last few dependencies on domain_library.ML and delete it; temporarily disable emptiness check | file | diff | annotate |
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 |