| Mon, 22 Mar 2010 15:05:20 -0700 |
huffman |
fix ML warning in domain_library.ML
|
file |
diff |
annotate
|
| Wed, 03 Mar 2010 08:49:11 -0800 |
huffman |
remove dead code
|
file |
diff |
annotate
|
| Tue, 02 Mar 2010 17:21:10 -0800 |
huffman |
proper names for types cfun, sprod, ssum
|
file |
diff |
annotate
|
| Tue, 02 Mar 2010 16:07:48 -0800 |
huffman |
remove dead code
|
file |
diff |
annotate
|
| Tue, 02 Mar 2010 15:53:07 -0800 |
huffman |
remove unused mixfix component from type cons
|
file |
diff |
annotate
|
| 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
|