https://cflmark.nms.kcl.ac.uk/hg/tm/ en-us tm Changelog tm Changelog [default] test https://cflmark.nms.kcl.ac.uk/hg/tm/rev/a2707a5652d9 https://cflmark.nms.kcl.ac.uk/hg/tm/rev/a2707a5652d9 changeset a2707a5652d9 branch default bookmark tag tip user Christian Urban <christian.urban@kcl.ac.uk> description test files README
]]> Christian Urban <christian.urban@kcl.ac.uk> Thu, 22 Feb 2024 14:06:37 +0000 test https://cflmark.nms.kcl.ac.uk/hg/tm/rev/ac5461882f3e https://cflmark.nms.kcl.ac.uk/hg/tm/rev/ac5461882f3e changeset ac5461882f3e branch bookmark tag user Christian Urban <christian.urban@kcl.ac.uk> description test files README
]]> Christian Urban <christian.urban@kcl.ac.uk> Thu, 22 Feb 2024 13:38:10 +0000 added some text at the beginning https://cflmark.nms.kcl.ac.uk/hg/tm/rev/bee184c83071 https://cflmark.nms.kcl.ac.uk/hg/tm/rev/bee184c83071 changeset bee184c83071 branch bookmark tag user Christian Urban <urbanc@in.tum.de> description added some text at the beginning files thys2/Recs.thy
]]> Christian Urban <urbanc@in.tum.de> Fri, 11 Jan 2019 13:37:54 +0000 updated to Isabelle 2018 https://cflmark.nms.kcl.ac.uk/hg/tm/rev/3fee65a40838 https://cflmark.nms.kcl.ac.uk/hg/tm/rev/3fee65a40838 changeset 3fee65a40838 branch bookmark tag user Christian Urban <urbanc@in.tum.de> description updated to Isabelle 2018 files thys2/Recs.thy
]]> Christian Urban <urbanc@in.tum.de> Thu, 10 Jan 2019 13:18:07 +0000 updated to Isabelle 2017 https://cflmark.nms.kcl.ac.uk/hg/tm/rev/fa6f654cbc13 https://cflmark.nms.kcl.ac.uk/hg/tm/rev/fa6f654cbc13 changeset fa6f654cbc13 branch bookmark tag user Christian Urban <urbanc@in.tum.de> description updated to Isabelle 2017 files thys2/Recs.thy
]]> Christian Urban <urbanc@in.tum.de> Thu, 10 Jan 2019 13:00:04 +0000 updated to Isabelle 2016-1 https://cflmark.nms.kcl.ac.uk/hg/tm/rev/6836da75b3ac https://cflmark.nms.kcl.ac.uk/hg/tm/rev/6836da75b3ac changeset 6836da75b3ac branch bookmark tag user Christian Urban <urbanc@in.tum.de> description updated to Isabelle 2016-1 files thys2/Recs.thy
]]> Christian Urban <urbanc@in.tum.de> Thu, 10 Jan 2019 12:51:24 +0000 upodated to Isabelle 2016 https://cflmark.nms.kcl.ac.uk/hg/tm/rev/8b55240e12c6 https://cflmark.nms.kcl.ac.uk/hg/tm/rev/8b55240e12c6 changeset 8b55240e12c6 branch bookmark tag user Christian Urban <urbanc@in.tum.de> description upodated to Isabelle 2016 files thys2/Recs.thy
]]> Christian Urban <urbanc@in.tum.de> Thu, 10 Jan 2019 12:48:43 +0000 Added myself to the comments at the start of all files https://cflmark.nms.kcl.ac.uk/hg/tm/rev/293e9c6f22e1 https://cflmark.nms.kcl.ac.uk/hg/tm/rev/293e9c6f22e1 changeset 293e9c6f22e1 branch bookmark tag user Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at> description Added myself to the comments at the start of all files files thys/Abacus.thy
thys/Abacus_Defs.thy
thys/Abacus_Hoare.thy
thys/Abacus_Mopup.thy
thys/Rec_Def.thy
thys/Recursive.thy
thys/Turing.thy
thys/Turing_Hoare.thy
thys/UF.thy
thys/UTM.thy
thys/Uncomputable.thy
]]> Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at> Mon, 07 Jan 2019 13:44:19 +0100 More naming of lemmas, cleanup of Abacus and NatBijection https://cflmark.nms.kcl.ac.uk/hg/tm/rev/93db7414931d https://cflmark.nms.kcl.ac.uk/hg/tm/rev/93db7414931d changeset 93db7414931d branch bookmark tag user Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at> description More naming of lemmas, cleanup of Abacus and NatBijection files thys/Abacus.thy
thys/Abacus_Defs.thy
thys/Abacus_Hoare.thy
thys/NatBijection.thy
thys/Recursive.thy
thys/Uncomputable.thy
]]> Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at> Fri, 21 Dec 2018 15:30:24 +0100 Gave lemmas names in Abacus.ty https://cflmark.nms.kcl.ac.uk/hg/tm/rev/6e1c03614d36 https://cflmark.nms.kcl.ac.uk/hg/tm/rev/6e1c03614d36 changeset 6e1c03614d36 branch bookmark tag user Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at> description Gave lemmas names in Abacus.ty files thys/Abacus.thy
thys/Recursive.thy
]]> Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at> Fri, 21 Dec 2018 12:31:36 +0100