thys/Journal/Paper.thy
2021-10-10 Chengsong for new journal/conf paper!
2021-10-10 Christian Urban updated for Isabelle 2021
2021-10-09 Christian Urban updated
2019-07-29 Christian Urban updated
2019-05-10 Christian Urban updated
2018-09-10 Christian Urban updated
2018-08-18 Christian Urban updated
2018-08-17 Christian Urban updated
2018-08-16 Christian Urban updated
2017-10-25 cu updated
2017-10-05 Christian Urban updated
2017-09-22 Christian Urban updated
2017-09-05 Christian Urban updated
2017-08-26 Christian Urban simplified proof
2017-08-25 Christian Urban updated
2017-08-25 Christian Urban updated
2017-08-25 Christian Urban updated
2017-08-18 Christian Urban updated
2017-08-11 Christian Urban updated
2017-07-19 Christian Urban updated
2017-07-18 Christian Urban changed definitions of PRF
2017-02-26 Christian Urban updated
less more (0) tip