| Tue, 02 Mar 2010 15:06:02 -0800 | huffman | remove unused selector field from type arg | file | diff | annotate |
| Tue, 02 Mar 2010 04:31:50 -0800 | huffman | re-enable bisim code, now in domain_theorems.ML | file | diff | annotate |
| Sat, 27 Feb 2010 20:04:40 -0800 | huffman | remove dead code | file | diff | annotate |
| Wed, 24 Feb 2010 14:20:07 -0800 | huffman | change domain package's treatment of variable names in theorems to be like datatype package | file | diff | annotate |
| Mon, 22 Feb 2010 11:17:41 -0800 | huffman | add mixfix field to type Domain_Library.cons | file | diff | annotate |
| Fri, 04 Dec 2009 12:17:43 +0100 | haftmann | modernized structure Datatype_Aux | file | diff | annotate |
| Mon, 02 Nov 2009 12:26:23 -0800 | huffman | domain package no longer uses cfst/csnd/cpair | file | diff | annotate |
| Thu, 29 Oct 2009 17:58:26 +0100 | wenzelm | standardized filter/filter_out; | file | diff | annotate |
| Tue, 21 Jul 2009 16:14:56 +0200 | haftmann | obey captialized directory names convention | file | diff | annotate | base |