| Sat, 08 Jan 2011 17:39:51 +0100 |
wenzelm |
renamed Sum_Of_Squares to Sum_of_Squares;
|
file |
diff |
annotate
|
| Mon, 22 Nov 2010 17:49:12 +0100 |
haftmann |
merged
|
file |
diff |
annotate
|
| Mon, 22 Nov 2010 17:46:51 +0100 |
haftmann |
replaced misleading Fset/fset name -- these do not stand for finite sets
|
file |
diff |
annotate
|
| Mon, 22 Nov 2010 11:34:56 +0100 |
bulwahn |
adding Enum to HOL-Main image and removing it from HOL-Library
|
file |
diff |
annotate
|
| Wed, 03 Nov 2010 12:20:33 +0100 |
haftmann |
moved theory Quicksort from Library/ to ex/
|
file |
diff |
annotate
|
| Fri, 20 Aug 2010 17:48:30 +0200 |
haftmann |
split and enriched theory SetsAndFunctions
|
file |
diff |
annotate
|
| Wed, 14 Jul 2010 14:16:12 +0200 |
haftmann |
load cache_io before code generator; moved adhoc-overloading to generic tools
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 00:15:37 +0200 |
krauss |
uniform do notation for monads
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 00:15:37 +0200 |
krauss |
generic ad-hoc overloading via check/uncheck
|
file |
diff |
annotate
|
| Fri, 02 Jul 2010 14:23:17 +0200 |
haftmann |
remove codegeneration-related theories from big library theory
|
file |
diff |
annotate
|
| Thu, 01 Jul 2010 11:48:42 +0200 |
hoelzl |
Add theory for indicator function.
|
file |
diff |
annotate
|
| Thu, 20 May 2010 16:35:54 +0200 |
haftmann |
added theory More_List
|
file |
diff |
annotate
|
| Mon, 17 May 2010 10:58:31 +0200 |
haftmann |
dropped old Library/Word.thy and toy example ex/Adder.thy
|
file |
diff |
annotate
|
| Tue, 04 May 2010 18:05:22 +0200 |
hoelzl |
Add Convex to Library build
|
file |
diff |
annotate
|
| Thu, 15 Apr 2010 12:27:14 +0200 |
haftmann |
theory RBT with abstract type of red-black trees backed by implementation RBT_Impl
|
file |
diff |
annotate
|