tm: Changelog

Christian Urban <urbanc@in.tum.de> [Thu, 10 Jan 2019 13:18:07 +0000] rev 296

updated to Isabelle 2018

Christian Urban <urbanc@in.tum.de> [Thu, 10 Jan 2019 13:00:04 +0000] rev 295

updated to Isabelle 2017

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