Thu, 03 Aug 2017 21:38:05 +0200 |
paulson |
eliminated more "guess", etc.
|
changeset |
files
|
Thu, 03 Aug 2017 14:15:25 +0200 |
paulson |
merged
|
changeset |
files
|
Thu, 03 Aug 2017 14:15:06 +0200 |
paulson |
more tidying
|
changeset |
files
|
Thu, 03 Aug 2017 11:29:08 +0200 |
paulson |
more tidying up
|
changeset |
files
|
Thu, 03 Aug 2017 10:52:13 +0200 |
paulson |
merged
|
changeset |
files
|
Thu, 03 Aug 2017 08:09:15 +0200 |
paulson |
merged
|
changeset |
files
|
Wed, 02 Aug 2017 23:15:15 +0200 |
paulson |
removed all "guess"
|
changeset |
files
|
Thu, 03 Aug 2017 23:03:44 +0200 |
nipkow |
tuned
|
changeset |
files
|
Thu, 03 Aug 2017 11:38:55 +0200 |
nipkow |
merged
|
changeset |
files
|
Thu, 03 Aug 2017 09:30:09 +0200 |
nipkow |
added lemmas
|
changeset |
files
|
Wed, 02 Aug 2017 20:33:39 +0200 |
haftmann |
simplified function specification history: each pending function specification is historized at the end of a theory, without additional bookkeeping;
|
changeset |
files
|
Thu, 03 Aug 2017 07:31:25 +0200 |
nipkow |
merged
|
changeset |
files
|
Wed, 02 Aug 2017 18:22:02 +0200 |
nipkow |
generalized lemma
|
changeset |
files
|
Tue, 01 Aug 2017 20:38:39 +0200 |
haftmann |
tuned references
|
changeset |
files
|
Wed, 02 Aug 2017 16:31:42 +0200 |
paulson |
fixed another horrible proof
|
changeset |
files
|