| Tue, 23 Feb 2010 10:11:49 +0100 |
haftmann |
dropped axclass; dropped Id; session theory Hoare.thy
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:31 +0100 |
haftmann |
dropped session W0; c.f. MiniML in AFP
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:16 +0100 |
haftmann |
dropped axclass, going back to purely syntactic type classes
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:15 +0100 |
haftmann |
dropped axclass; dropped Id
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:15 +0100 |
haftmann |
dropped axclass; dropped Id; session theory Hoare.thy
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:12 +0100 |
haftmann |
dropped axclass
|
changeset |
files
|
| Tue, 23 Feb 2010 14:11:46 +0100 |
Cezary Kaliszyk |
export prs_rules and rsp_rules attributes
|
changeset |
files
|
| Tue, 23 Feb 2010 12:14:46 +0100 |
blanchet |
merge
|
changeset |
files
|
| Tue, 23 Feb 2010 12:14:29 +0100 |
blanchet |
improved precision of small sets in Nitpick
|
changeset |
files
|
| Tue, 23 Feb 2010 11:05:32 +0100 |
blanchet |
improved Nitpick's support for quotient types
|
changeset |
files
|
| Tue, 23 Feb 2010 12:02:32 +0100 |
hoelzl |
Forgot to check NSA in changeset e4a431b6d9b7 ; Removed import of Integration
|
changeset |
files
|
| Tue, 23 Feb 2010 10:02:14 +0100 |
blanchet |
catch IO errors in Nitpick's "kodkodi" invocation + shorten execution time of "Manual_Nits" example
|
changeset |
files
|
| Tue, 23 Feb 2010 08:08:23 +0100 |
haftmann |
mind the "s"
|
changeset |
files
|
| Tue, 23 Feb 2010 08:04:07 +0100 |
haftmann |
merged
|
changeset |
files
|
| Mon, 22 Feb 2010 16:03:48 +0100 |
haftmann |
NEWS
|
changeset |
files
|
| Mon, 22 Feb 2010 16:03:44 +0100 |
haftmann |
added missing separator
|
changeset |
files
|
| Mon, 22 Feb 2010 15:53:19 +0100 |
haftmann |
more accurate when registering new types
|
changeset |
files
|
| Mon, 22 Feb 2010 15:53:18 +0100 |
haftmann |
added Dlist
|
changeset |
files
|
| Mon, 22 Feb 2010 15:53:18 +0100 |
haftmann |
tuned text
|
changeset |
files
|
| Mon, 22 Feb 2010 15:53:18 +0100 |
haftmann |
distributed theory Algebras to theories Groups and Lattices
|
changeset |
files
|
| Mon, 22 Feb 2010 11:13:30 +0100 |
haftmann |
merged
|
changeset |
files
|
| Mon, 22 Feb 2010 11:10:20 +0100 |
haftmann |
proper distinction of code datatypes and abstypes
|
changeset |
files
|
| Mon, 22 Feb 2010 10:38:58 +0100 |
haftmann |
merged
|
changeset |
files
|
| Mon, 22 Feb 2010 09:36:47 +0100 |
haftmann |
merged
|
changeset |
files
|
| Mon, 22 Feb 2010 09:24:20 +0100 |
haftmann |
merged
|
changeset |
files
|
| Sat, 20 Feb 2010 21:13:29 +0100 |
haftmann |
lemma distinct_insert
|
changeset |
files
|
| Mon, 22 Feb 2010 21:48:20 -0800 |
huffman |
proper header and subsection headings
|
changeset |
files
|
| Mon, 22 Feb 2010 21:47:21 -0800 |
huffman |
remove unneeded premise from rat_floor_lemma and floor_Fract
|
changeset |
files
|