| Thu, 28 Jan 2016 16:36:46 +0800 |
zhangx |
Slightly modified ExtGG.thy and PrioG.thy.
|
file |
diff |
annotate
|
| Thu, 28 Jan 2016 16:33:49 +0800 |
zhangx |
Merged back ExtGG.thy and PrioG.thy.
|
file |
diff |
annotate
|
| Thu, 28 Jan 2016 07:46:05 +0800 |
zhangx |
Added PrioG.thy again
|
file |
diff |
annotate
|
| Thu, 28 Jan 2016 07:43:05 +0800 |
zhangx |
Added PrioG.thy as a parallel copy of Correctness.thy
|
file |
diff |
annotate
|
| Wed, 06 Jan 2016 20:46:14 +0800 |
zhangx |
ExtGG.thy finished, but more comments are needed.
|
file |
diff |
annotate
|
| Tue, 22 Dec 2015 23:13:31 +0800 |
zhangx |
In the middle of retrofiting ExtGG.thy.
|
file |
diff |
annotate
|
| Fri, 18 Dec 2015 22:47:32 +0800 |
zhangx |
CpsG.thy has been cleaned up.
|
file |
diff |
annotate
|
| Tue, 15 Dec 2015 21:45:46 +0800 |
zhangx |
Extended RTree.thy
|
file |
diff |
annotate
|
| Fri, 30 Oct 2015 20:40:11 +0800 |
xingyuan zhang |
Comments for Set-operation finished
|
file |
diff |
annotate
|
| Sat, 17 Oct 2015 16:10:33 +0800 |
xingyuan zhang |
Finished comments on PrioGDef.thy
|
file |
diff |
annotate
|
| Tue, 15 Jul 2014 17:25:53 +0200 |
Christian Urban |
updated teh theories to newer Isabelle version
|
file |
diff |
annotate
|
| Mon, 09 Jun 2014 16:01:28 +0100 |
Christian Urban |
added another book that makes the error, some more proofs
|
file |
diff |
annotate
|
| Mon, 02 Jun 2014 14:58:42 +0100 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| Fri, 30 May 2014 07:56:39 +0100 |
Christian Urban |
finished proof of acyclity
|
file |
diff |
annotate
|
| Fri, 23 May 2014 15:19:32 +0100 |
Christian Urban |
added a test theory for polishing teh proofs
|
file |
diff |
annotate
|