descriptionJian / Xingyuan / Christian
ownerchristian dot urban at kcl ac uk
last changeThu, 22 Feb 2024 14:06:37 +0000 (12 months ago)
changes
12 months ago Christian Urban test default tip
12 months ago Christian Urban test
2019-01-11 Christian Urban added some text at the beginning
2019-01-10 Christian Urban updated to Isabelle 2018
2019-01-10 Christian Urban updated to Isabelle 2017
2019-01-10 Christian Urban updated to Isabelle 2016-1
2019-01-10 Christian Urban upodated to Isabelle 2016
2019-01-07 Sebastiaan Joosten Added myself to the comments at the start of all files
2018-12-21 Sebastiaan Joosten More naming of lemmas, cleanup of Abacus and NatBijection
2018-12-21 Sebastiaan Joosten Gave lemmas names in Abacus.ty
...
tags
...
bookmarks
...
branches
12 months ago default
...