| Mon, 22 Nov 2010 17:46:51 +0100 |
haftmann |
replaced misleading Fset/fset name -- these do not stand for finite sets
|
file |
diff |
annotate
|
| Sat, 04 Sep 2010 21:10:39 +0200 |
haftmann |
added more explicit warning
|
file |
diff |
annotate
|
| Tue, 10 Aug 2010 09:11:23 +0200 |
haftmann |
executable relation operations contributed by Tjark Weber
|
file |
diff |
annotate
|
| Mon, 28 Jun 2010 15:32:06 +0200 |
haftmann |
dropped ancient infix mem; refined code generation operations in List.thy
|
file |
diff |
annotate
|
| Thu, 20 May 2010 16:40:29 +0200 |
haftmann |
renamed List_Set to the now more appropriate More_Set
|
file |
diff |
annotate
|
| Thu, 20 May 2010 16:35:54 +0200 |
haftmann |
added theory More_List
|
file |
diff |
annotate
|
| Fri, 16 Apr 2010 21:28:09 +0200 |
wenzelm |
replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
|
file |
diff |
annotate
|
| Sun, 31 Jan 2010 19:07:03 +0100 |
haftmann |
adjusted to changes in List_Set.thy
|
file |
diff |
annotate
|
| Mon, 07 Dec 2009 14:54:13 +0100 |
haftmann |
merged
|
file |
diff |
annotate
|
| Mon, 07 Dec 2009 14:54:01 +0100 |
haftmann |
merged Crude_Executable_Set into Executable_Set
|
file |
diff |
annotate
| base
|
| Mon, 26 Oct 2009 10:51:42 +0100 |
haftmann |
added SML_Quickcheck import
|
file |
diff |
annotate
|
| Tue, 06 Oct 2009 18:27:00 +0200 |
haftmann |
added Coset as constructor
|
file |
diff |
annotate
|
| Fri, 25 Sep 2009 09:50:31 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Wed, 23 Sep 2009 16:32:53 +0200 |
haftmann |
explicitly hide empty, inter, union
|
file |
diff |
annotate
|
| Wed, 23 Sep 2009 11:34:21 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|