| Mon, 09 Feb 2009 12:57:05 +0100 |
wenzelm |
updated generated files;
|
changeset |
files
|
| Mon, 09 Feb 2009 12:52:16 +0100 |
wenzelm |
basic setup for chapter "The Isabelle/Isar Framework";
|
changeset |
files
|
| Mon, 09 Feb 2009 12:49:13 +0100 |
wenzelm |
more refs;
|
changeset |
files
|
| Mon, 02 Feb 2009 22:16:41 +0100 |
wenzelm |
Compatibility wrapper for experimental versions of Poly/ML after 5.2.1.
|
changeset |
files
|
| Mon, 02 Feb 2009 15:12:22 +0100 |
krauss |
export lexicographic_order_tac
|
changeset |
files
|
| Mon, 02 Feb 2009 15:12:18 +0100 |
krauss |
fix potential incompleteness in SAT encoding
|
changeset |
files
|
| Mon, 02 Feb 2009 13:56:24 +0100 |
haftmann |
avoid name clash of generated modules and includes
|
changeset |
files
|
| Mon, 02 Feb 2009 13:56:23 +0100 |
haftmann |
strict check for locale target
|
changeset |
files
|
| Mon, 02 Feb 2009 13:56:23 +0100 |
haftmann |
fixed proposition slip
|
changeset |
files
|
| Mon, 02 Feb 2009 13:56:22 +0100 |
haftmann |
added Mapping.thy to Library
|
changeset |
files
|
| Mon, 02 Feb 2009 13:56:22 +0100 |
haftmann |
dropped Id
|
changeset |
files
|
| Mon, 02 Feb 2009 09:27:54 +0100 |
haftmann |
updated type class section
|
changeset |
files
|
| Mon, 02 Feb 2009 09:01:14 +0100 |
haftmann |
updated class documentation
|
changeset |
files
|
| Sun, 01 Feb 2009 19:59:20 +0100 |
haftmann |
merged
|
changeset |
files
|
| Sun, 01 Feb 2009 19:59:04 +0100 |
haftmann |
added State_Monad theory in session
|
changeset |
files
|
| Sun, 01 Feb 2009 19:58:02 +0100 |
haftmann |
proper declared constants in class expressions
|
changeset |
files
|
| Sat, 31 Jan 2009 09:04:42 +0100 |
nipkow |
merged
|
changeset |
files
|
| Sat, 31 Jan 2009 09:04:16 +0100 |
nipkow |
added some simp rules
|
changeset |
files
|
| Fri, 30 Jan 2009 17:47:34 +0100 |
krauss |
fixed case
|
changeset |
files
|
| Fri, 30 Jan 2009 13:41:45 +0000 |
chaieb |
Fixed theory name
|
changeset |
files
|
| Fri, 30 Jan 2009 13:24:23 +0000 |
chaieb |
Added Formal_Power_Series_Examples to HOL-ex image
|
changeset |
files
|
| Fri, 30 Jan 2009 13:24:23 +0000 |
chaieb |
Some applications of formal power Series
|
changeset |
files
|
| Fri, 30 Jan 2009 12:48:57 +0000 |
chaieb |
Added real related theorems from Fact.thy
|
changeset |
files
|
| Fri, 30 Jan 2009 12:48:56 +0000 |
chaieb |
Added a formalization of generalized raising Factorials (Pochhammer's symbol) and binomial coefficients
|
changeset |
files
|
| Fri, 30 Jan 2009 12:48:56 +0000 |
chaieb |
moved upwards in thy graph, real related theorems moved to Transcendental.thy
|
changeset |
files
|
| Thu, 29 Jan 2009 22:29:44 +0100 |
berghofe |
Enclosed name containing _'s in @{text ...} antiquotation to make document
|
changeset |
files
|
| Thu, 29 Jan 2009 22:28:03 +0100 |
berghofe |
Added strong congruence rule for UN.
|
changeset |
files
|
| Thu, 29 Jan 2009 22:27:07 +0100 |
berghofe |
Added abs_def attribute.
|
changeset |
files
|