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, 11 Apr 2010 16:51:06 +0200 |
haftmann |
lemma is_empty_empty
|
file |
diff |
annotate
|
Wed, 17 Feb 2010 16:49:37 +0100 |
haftmann |
added ordered_keys
|
file |
diff |
annotate
|
Wed, 17 Feb 2010 09:48:52 +0100 |
haftmann |
more close integration with theory Map
|
file |
diff |
annotate
|
Thu, 12 Nov 2009 17:21:51 +0100 |
hoelzl |
Remove map_compose, replaced by map_map
|
file |
diff |
annotate
|
Thu, 04 Jun 2009 16:55:20 +0200 |
haftmann |
added trees implementing mappings
|
file |
diff |
annotate
|
Mon, 23 Mar 2009 08:14:24 +0100 |
haftmann |
Main is (Complex_Main) base entry point in library theories
|
file |
diff |
annotate
|
Sat, 07 Feb 2009 10:03:09 +0100 |
haftmann |
Isar proof
|
file |
diff |
annotate
|
Sat, 07 Feb 2009 09:57:03 +0100 |
haftmann |
added bulkload
|
file |
diff |
annotate
|
Sat, 07 Feb 2009 08:37:42 +0100 |
haftmann |
added bulkload
|
file |
diff |
annotate
|
Fri, 06 Feb 2009 09:05:19 +0100 |
haftmann |
added replace operation
|
file |
diff |
annotate
|
Mon, 02 Feb 2009 13:56:22 +0100 |
haftmann |
added Mapping.thy to Library
|
file |
diff |
annotate
|