thys/Simplifying.thy
2016-03-18 Christian Urban updated
2016-03-15 Christian Urban updated
2016-03-14 Christian Urban updated
less more (0) tip