| Tue, 26 May 2009 17:29:34 +0200 |
haftmann |
add_primrec_simple
|
changeset |
files
|
| Tue, 26 May 2009 17:29:33 +0200 |
haftmann |
dropped superfluos prefixes
|
changeset |
files
|
| Tue, 26 May 2009 17:29:32 +0200 |
haftmann |
separate module for quickcheck generators
|
changeset |
files
|
| Tue, 26 May 2009 11:02:59 -0700 |
huffman |
encode gauge-fine partitions with lists instead of functions; remove lots of unnecessary lemmas
|
changeset |
files
|
| Tue, 26 May 2009 10:31:39 -0700 |
huffman |
listsum lemmas
|
changeset |
files
|
| Tue, 26 May 2009 07:39:52 -0700 |
huffman |
clean up some rsum proofs
|
changeset |
files
|
| Tue, 26 May 2009 13:40:50 +0200 |
haftmann |
weakend references to old axclass
|
changeset |
files
|
| Tue, 26 May 2009 13:40:49 +0200 |
haftmann |
clarified benefit of interpretation
|
changeset |
files
|
| Tue, 26 May 2009 12:31:01 +0200 |
haftmann |
documented print_codeproc command
|
changeset |
files
|
| Mon, 25 May 2009 22:14:59 -0700 |
huffman |
use interval sets with gauge predicate
|
changeset |
files
|
| Mon, 25 May 2009 21:55:07 -0700 |
huffman |
clean up some proofs
|
changeset |
files
|
| Sun, 24 May 2009 15:02:23 +0200 |
haftmann |
tuned whitespace
|
changeset |
files
|
| Sun, 24 May 2009 15:02:23 +0200 |
haftmann |
funpow_yield; tuned
|
changeset |
files
|
| Sun, 24 May 2009 15:02:22 +0200 |
haftmann |
tuned class user space type system code
|
changeset |
files
|