2015-10-06 | xingyuan zhang | A little more change. | file | diff | annotate |
2015-10-06 | xingyuan zhang | Some changes in the PrioGDef.thy. | file | diff | annotate |
2014-05-22 | Christian Urban |
added a bit more text to the paper and separated a theory about Max | file | diff | annotate |
2014-05-15 | Christian Urban |
simplified the cp_rec proof | file | diff | annotate |
2014-05-06 | Christian Urban |
made some modifications. | file | diff | annotate |
2012-12-22 | Christian Urban |
updated | file | diff | annotate |
2012-12-06 | Christian Urban |
added | file | diff | annotate |