thys/Turing_Hoare.thy
Mon, 07 Jan 2019 13:44:19 +0100 Sebastiaan Joosten Added myself to the comments at the start of all files
Wed, 19 Dec 2018 16:10:58 +0100 Sebastiaan Joosten Up to date for Isabelle 2018. Gave names to simp rules in UF and UTM
Tue, 12 Feb 2013 13:37:07 +0000 Christian Urban small changes
Sun, 10 Feb 2013 19:49:07 +0000 Christian Urban changed theory names to uppercase
less more (0) tip