2018-12-19 Sebastiaan Joosten Cleanup in UF
2018-12-19 Sebastiaan Joosten Up to date for Isabelle 2018. Gave names to simp rules in UF and UTM
2015-01-14 Christian Urban updated
Loading...
(0) -100 -30 -10 -3 +3 +10 tip