thys/Simplifying.thy
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