Wed, 04 Nov 2009 10:17:58 +0100 |
nipkow |
merged
|
changeset |
files
|
Wed, 04 Nov 2009 10:17:43 +0100 |
nipkow |
fixed order of parameters in induction rules
|
changeset |
files
|
Wed, 04 Nov 2009 09:43:25 +0100 |
krauss |
added bulwahn to isatest mailings
|
changeset |
files
|
Wed, 04 Nov 2009 09:18:46 +0100 |
nipkow |
merged
|
changeset |
files
|
Wed, 04 Nov 2009 09:18:03 +0100 |
nipkow |
Completely overhauled
|
changeset |
files
|
Tue, 03 Nov 2009 19:01:06 -0800 |
huffman |
better error handling for fixrec_simp
|
changeset |
files
|
Tue, 03 Nov 2009 18:33:16 -0800 |
huffman |
add more fixrec_simp rules
|
changeset |
files
|
Tue, 03 Nov 2009 18:32:56 -0800 |
huffman |
fixrec examples use fixrec_simp instead of fixpat
|
changeset |
files
|
Tue, 03 Nov 2009 18:32:30 -0800 |
huffman |
domain package registers fixrec_simp lemmas
|
changeset |
files
|
Tue, 03 Nov 2009 17:09:27 -0800 |
huffman |
merged
|
changeset |
files
|
Tue, 03 Nov 2009 17:03:21 -0800 |
huffman |
add fixrec_simp attribute and method (eventually to replace fixpat)
|
changeset |
files
|
Tue, 03 Nov 2009 23:44:16 +0100 |
boehmes |
proper and unique case names for the split_vc method,
|
changeset |
files
|
Tue, 03 Nov 2009 19:32:08 +0100 |
haftmann |
merged
|
changeset |
files
|
Tue, 03 Nov 2009 17:08:57 +0100 |
haftmann |
merged
|
changeset |
files
|