Sun, 21 Feb 2010 22:35:02 +0100 | wenzelm | slightly more abstract syntax mark/unmark operations; | file | diff | annotate |
Sun, 21 Feb 2010 21:11:44 +0100 | wenzelm | adapted to authentic syntax; | file | diff | annotate |
Mon, 15 Feb 2010 17:17:51 +0100 | wenzelm | discontinued unnamed infix syntax; | file | diff | annotate |
Thu, 19 Nov 2009 21:06:22 -0800 | huffman | domain_isomorphism package defines combined copy function | file | diff | annotate |
Thu, 19 Nov 2009 17:53:22 -0800 | huffman | domain_isomorphism package defines copy functions | file | diff | annotate |
Thu, 19 Nov 2009 15:41:52 -0800 | huffman | clean up indentation; add 'definitional' option flag | file | diff | annotate |
Mon, 19 Oct 2009 23:02:56 +0200 | wenzelm | always qualify NJ's old List.foldl/foldr in Isabelle/ML; | file | diff | annotate |
Thu, 15 Oct 2009 23:28:10 +0200 | wenzelm | replaced String.concat by implode; | file | diff | annotate |
Tue, 21 Jul 2009 16:14:56 +0200 | haftmann | obey captialized directory names convention | file | diff | annotate | base |