Tue, 29 Jul 2008 14:07:23 +0200 |
haftmann |
corrected Pure dependency
|
file |
diff |
annotate
|
Fri, 25 Jul 2008 12:03:28 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Mon, 21 Jul 2008 15:26:23 +0200 |
haftmann |
(adjusted)
|
file |
diff |
annotate
|
Wed, 16 Jul 2008 17:37:59 +0200 |
berghofe |
Added Standardization theory to nominal examples.
|
file |
diff |
annotate
|
Fri, 04 Jul 2008 07:39:01 +0200 |
haftmann |
added marginal setup for code generation
|
file |
diff |
annotate
|
Thu, 03 Jul 2008 19:50:19 +0200 |
wenzelm |
removed old Complex/ex/NSPrimes.thy;
|
file |
diff |
annotate
|
Thu, 03 Jul 2008 19:17:29 +0200 |
wenzelm |
more precise dependencies for HOL-Word and HOL-NSA;
|
file |
diff |
annotate
|
Thu, 03 Jul 2008 17:53:39 +0200 |
huffman |
add HOL-NSA
|
file |
diff |
annotate
|
Thu, 03 Jul 2008 11:16:33 +0200 |
haftmann |
code antiquotation roaring ahead
|
file |
diff |
annotate
|
Wed, 02 Jul 2008 07:12:17 +0200 |
haftmann |
code antiquotation roaring ahead
|
file |
diff |
annotate
|
Tue, 01 Jul 2008 21:20:18 +0200 |
wenzelm |
clean: HOL-Plain;
|
file |
diff |
annotate
|
Tue, 01 Jul 2008 09:58:32 +0200 |
haftmann |
(removed Complex/ROOT.ML)
|
file |
diff |
annotate
|
Tue, 01 Jul 2008 07:58:17 +0200 |
haftmann |
HOL += HOL-Complex
|
file |
diff |
annotate
|
Mon, 30 Jun 2008 13:41:30 +0200 |
haftmann |
HOL-Complex with proof terms
|
file |
diff |
annotate
|
Thu, 26 Jun 2008 10:07:01 +0200 |
haftmann |
established Plain theory and image
|
file |
diff |
annotate
|
Mon, 23 Jun 2008 15:51:38 +0200 |
wenzelm |
moved src/HOL/Tools/induct_tacs.ML to src/Tools/induct_tacs.ML;
|
file |
diff |
annotate
|
Fri, 20 Jun 2008 21:00:16 +0200 |
haftmann |
moved Float.thy to Library
|
file |
diff |
annotate
|
Thu, 12 Jun 2008 11:51:47 +0200 |
wenzelm |
some reformatting;
|
file |
diff |
annotate
|
Thu, 12 Jun 2008 10:03:45 +0200 |
urbanc |
added CK_Machine to the nominal section
|
file |
diff |
annotate
|
Tue, 10 Jun 2008 19:15:20 +0200 |
wenzelm |
added HOL/Tools/induct_tacs.ML;
|
file |
diff |
annotate
|
Tue, 10 Jun 2008 15:30:06 +0200 |
haftmann |
major refactorings in code generator modules
|
file |
diff |
annotate
|
Sun, 01 Jun 2008 17:39:21 +0200 |
urbanc |
new example
|
file |
diff |
annotate
|
Tue, 13 May 2008 09:14:07 +0200 |
krauss |
fixed makefile
|
file |
diff |
annotate
|
Fri, 25 Apr 2008 15:30:33 +0200 |
krauss |
Merged theories about wellfoundedness into one: Wellfounded.thy
|
file |
diff |
annotate
|
Tue, 22 Apr 2008 10:31:15 +0200 |
haftmann |
dropped theory PreList
|
file |
diff |
annotate
|
Tue, 22 Apr 2008 08:33:21 +0200 |
haftmann |
added theory Sublist_Order
|
file |
diff |
annotate
|
Wed, 16 Apr 2008 17:40:59 +0200 |
wenzelm |
removed unused TLA/Memory/MIParameters.thy;
|
file |
diff |
annotate
|
Tue, 08 Apr 2008 20:14:36 +0200 |
krauss |
fixed makefiles
|
file |
diff |
annotate
|
Thu, 20 Mar 2008 12:01:10 +0100 |
haftmann |
added theory Library/Enum.thy
|
file |
diff |
annotate
|
Fri, 14 Mar 2008 19:57:12 +0100 |
nipkow |
Added lemmas
|
file |
diff |
annotate
|