2015-12-03 xingyuan zhang Added generic theory "RTree.thy"
2015-12-03 xingyuan zhang Before switching to generic theory of relational trees.
2015-10-30 xingyuan zhang Comments for Set-operation finished
2015-10-17 xingyuan zhang Merge with tip
2015-10-17 xingyuan zhang Finished comments on PrioGDef.thy
2015-10-06 Christian Urban test
2015-10-06 Christian Urban another test
2015-10-06 Christian Urban test
2015-10-06 xingyuan zhang A little more change.
2015-10-06 xingyuan zhang Some changes in the PrioGDef.thy.
2015-10-06 xingyuan zhang Just a test change
2015-10-04 Christian Urban added one more reference to an incorrect specification
2015-09-09 Christian Urban updated for Isabelle 2015
2014-07-15 Christian Urban updated teh theories to newer Isabelle version
2014-06-12 Christian Urban a few additions
2014-06-10 Christian Urban added scheduling book
Loading...
(0) -16 +16 +100 tip