2016-01-13 |
zhangx |
Moment.thy further simplified.
|
changeset |
files
|
2016-01-13 |
zhangx |
Moment.thy further improved.
|
changeset |
files
|
2016-01-13 |
Christian Urban |
another simplification
|
changeset |
files
|
2016-01-13 |
Christian Urban |
some small change
|
changeset |
files
|
2016-01-13 |
Christian Urban |
further simplificaton of Moment.thy
|
changeset |
files
|
2016-01-13 |
Christian Urban |
simplified Moment.thy
|
changeset |
files
|
2016-01-12 |
zhangx |
Before retrofiting PIPBasics.thy
|
changeset |
files
|
2016-01-09 |
zhangx |
Correctness simplified a great deal.
|
changeset |
files
|
2016-01-07 |
zhangx |
Some small improvements in Correctness.thy.
|
changeset |
files
|
2016-01-07 |
zhangx |
Reorganization completed, added "scripts_structure.pdf" and "scirpts_structure.pptx".
|
changeset |
files
|
2016-01-06 |
Christian Urban |
renamed files
|
changeset |
files
|
2016-01-06 |
zhangx |
ExtGG.thy finished, but more comments are needed.
|
changeset |
files
|
2015-12-22 |
zhangx |
In the middle of retrofiting ExtGG.thy.
|
changeset |
files
|
2015-12-18 |
zhangx |
CpsG.thy has been cleaned up.
|
changeset |
files
|
2015-12-18 |
zhangx |
Main proofs in CpsG.thy completed.
|
changeset |
files
|
2015-12-15 |
Christian Urban |
removed some fixes about which Isabelle complains
|
changeset |
files
|
2015-12-15 |
zhangx |
Extended RTree.thy
|
changeset |
files
|
2015-12-03 |
xingyuan zhang |
Added generic theory "RTree.thy"
|
changeset |
files
|
2015-12-03 |
xingyuan zhang |
Before switching to generic theory of relational trees.
|
changeset |
files
|
2015-10-30 |
xingyuan zhang |
Comments for Set-operation finished
|
changeset |
files
|
2015-10-17 |
xingyuan zhang |
Merge with tip
|
changeset |
files
|
2015-10-17 |
xingyuan zhang |
Finished comments on PrioGDef.thy
|
changeset |
files
|
2015-10-06 |
Christian Urban |
test
|
changeset |
files
|
2015-10-06 |
Christian Urban |
another test
|
changeset |
files
|
2015-10-06 |
Christian Urban |
test
|
changeset |
files
|
2015-10-06 |
xingyuan zhang |
A little more change.
|
changeset |
files
|
2015-10-06 |
xingyuan zhang |
Some changes in the PrioGDef.thy.
|
changeset |
files
|
2015-10-06 |
xingyuan zhang |
Just a test change
|
changeset |
files
|
2015-10-04 |
Christian Urban |
added one more reference to an incorrect specification
|
changeset |
files
|
2015-09-09 |
Christian Urban |
updated for Isabelle 2015
|
changeset |
files
|
2014-07-15 |
Christian Urban |
updated teh theories to newer Isabelle version
|
changeset |
files
|
2014-06-12 |
Christian Urban |
a few additions
|
changeset |
files
|
2014-06-10 |
Christian Urban |
added scheduling book
|
changeset |
files
|
2014-06-09 |
Christian Urban |
added another book that makes the error, some more proofs
|
changeset |
files
|
2014-06-03 |
Christian Urban |
added a library about graphs
|
changeset |
files
|
2014-06-02 |
Christian Urban |
updated
|
changeset |
files
|
2014-05-30 |
Christian Urban |
finished proof of acyclity
|
changeset |
files
|
2014-05-24 |
Christian Urban |
simplified RAG_acyclic proof
|
changeset |
files
|
2014-05-23 |
Christian Urban |
added a test theory for polishing teh proofs
|
changeset |
files
|
2014-05-22 |
Christian Urban |
added a bit more text to the paper and separated a theory about Max
|
changeset |
files
|
2014-05-20 |
Christian Urban |
updated ROOT file
|
changeset |
files
|
2014-05-15 |
Christian Urban |
simplified the cp_rec proof
|
changeset |
files
|
2014-05-06 |
Christian Urban |
made some modifications.
|
changeset |
files
|
2014-03-12 |
Christian Urban |
added paper
|
changeset |
files
|
2014-05-14 |
Christian Urban |
test
|
changeset |
files
|
2014-03-04 |
Christian Urban |
updated readme
|
changeset |
files
|
2014-03-04 |
Christian Urban |
updated
|
changeset |
files
|
2014-03-04 |
Christian Urban |
cleaned up
|
changeset |
files
|
2014-03-04 |
Christian Urban |
updated
|
changeset |
files
|
2014-03-04 |
Christian Urban |
added two more references
|
changeset |
files
|
2014-03-04 |
Christian Urban |
some additions
|
changeset |
files
|
2014-03-04 |
Christian Urban |
made some small chages
|
changeset |
files
|
2014-03-03 |
Christian Urban |
updated
|
changeset |
files
|
2014-02-28 |
Christian Urban |
added llncs to journal
|
changeset |
files
|
2014-02-25 |
Christian Urban |
added
|
changeset |
files
|
2013-06-21 |
Christian Urban |
added paper
|
changeset |
files
|
2013-06-20 |
Christian Urban |
added nasa talk
|
changeset |
files
|
2012-12-22 |
Christian Urban |
updated
|
changeset |
files
|
2012-12-22 |
Christian Urban |
added
|
changeset |
files
|
2012-12-21 |
Christian Urban |
added
|
changeset |
files
|