12 months ago test default tip
Christian Urban <christian.urban@kcl.ac.uk> [Thu, 22 Feb 2024 14:06:37 +0000] rev 299
test
12 months ago test
Christian Urban <christian.urban@kcl.ac.uk> [Thu, 22 Feb 2024 13:38:10 +0000] rev 298
test
2019-01-11 added some text at the beginning
Christian Urban <urbanc@in.tum.de> [Fri, 11 Jan 2019 13:37:54 +0000] rev 297
added some text at the beginning
2019-01-10 updated to Isabelle 2018
Christian Urban <urbanc@in.tum.de> [Thu, 10 Jan 2019 13:18:07 +0000] rev 296
updated to Isabelle 2018
2019-01-10 updated to Isabelle 2017
Christian Urban <urbanc@in.tum.de> [Thu, 10 Jan 2019 13:00:04 +0000] rev 295
updated to Isabelle 2017
2019-01-10 updated to Isabelle 2016-1
Christian Urban <urbanc@in.tum.de> [Thu, 10 Jan 2019 12:51:24 +0000] rev 294
updated to Isabelle 2016-1
2019-01-10 upodated to Isabelle 2016
Christian Urban <urbanc@in.tum.de> [Thu, 10 Jan 2019 12:48:43 +0000] rev 293
upodated to Isabelle 2016
2019-01-07 Added myself to the comments at the start of all files
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
2018-12-21 More naming of lemmas, cleanup of Abacus and NatBijection
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
2018-12-21 Gave lemmas names in Abacus.ty
Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at> [Fri, 21 Dec 2018 12:31:36 +0100] rev 290
Gave lemmas names in Abacus.ty
2018-12-19 Cleanup in UF
Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at> [Wed, 19 Dec 2018 16:47:10 +0100] rev 289
Cleanup in UF
2018-12-19 Up to date for Isabelle 2018. Gave names to simp rules in UF and UTM
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
2015-01-14 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 14 Jan 2015 09:08:51 +0000] rev 287
updated
2013-11-24 added slides
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 24 Nov 2013 14:04:04 +0000] rev 286
added slides
2013-11-23 added things --- in messy state
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
(0) -100 -15 tip