thys/Uncomputable.thy
2019-01-07 Sebastiaan Joosten Added myself to the comments at the start of all files
2018-12-21 Sebastiaan Joosten More naming of lemmas, cleanup of Abacus and NatBijection
2018-12-19 Sebastiaan Joosten Up to date for Isabelle 2018. Gave names to simp rules in UF and UTM
2013-02-13 Christian Urban tuned
2013-02-12 Christian Urban small changes
2013-02-10 Christian Urban changed theory names to uppercase
less more (0) tip