thys/Simplifying.thy
2018-09-30 Christian Urban updated
2018-08-15 Christian Urban added proof for bitcoded algorithm
2018-05-15 Christian Urban updated
2016-06-03 Christian Urban typos
2016-05-18 Christian Urban updated
2016-05-17 Christian Urban isarfied the simplify theory
2016-05-16 Christian Urban improved simplifying theory
2016-03-18 Christian Urban updated
2016-03-15 Christian Urban updated
2016-03-14 Christian Urban updated
less more (0) tip