Thu, 25 Feb 2010 13:16:28 -0800 |
huffman |
rewrite domain package code for selector functions
|
file |
diff |
annotate
|
Wed, 24 Feb 2010 16:15:03 -0800 |
huffman |
reorganizing domain package code (in progress)
|
file |
diff |
annotate
|
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
|