tm: Changelog

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

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 03 Sep 2013 15:02:52 +0100] rev 284

soem changes

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 27 Jul 2013 08:23:09 +0200] rev 283

updated

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 27 Jul 2013 08:17:54 +0200] rev 282

started journal version