thys2/Turing2.thy
2018-12-19 Sebastiaan Joosten Up to date for Isabelle 2018. Gave names to simp rules in UF and UTM
2013-05-24 Christian Urban completed the UF-simulation lemmas
2013-05-22 Christian Urban moved new theries into a separate directory
less more (0) tip