Christian Urban <urbanc@in.tum.de> [Thu, 10 Jan 2019 12:51:24 +0000] rev 294
updated to Isabelle 2016-1
Christian Urban <urbanc@in.tum.de> [Thu, 10 Jan 2019 12:48:43 +0000] rev 293
upodated to Isabelle 2016
Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at> [Mon, 07 Jan 2019 13:44:19 +0100] rev 292
Added myself to the comments at the start of all files
Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at> [Fri, 21 Dec 2018 15:30:24 +0100] rev 291
More naming of lemmas, cleanup of Abacus and NatBijection
Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at> [Fri, 21 Dec 2018 12:31:36 +0100] rev 290
Gave lemmas names in Abacus.ty
Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at> [Wed, 19 Dec 2018 16:47:10 +0100] rev 289
Cleanup in UF
Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at> [Wed, 19 Dec 2018 16:10:58 +0100] rev 288
Up to date for Isabelle 2018. Gave names to simp rules in UF and UTM
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 14 Jan 2015 09:08:51 +0000] rev 287
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 24 Nov 2013 14:04:04 +0000] rev 286
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 23 Nov 2013 13:23:53 +0000] rev 285
added things --- in messy state