Thu, 22 Feb 2024 14:06:37 +0000 | Christian Urban | test | changeset | files |
Thu, 22 Feb 2024 13:38:10 +0000 | Christian Urban | test | changeset | files |
Fri, 11 Jan 2019 13:37:54 +0000 | Christian Urban | added some text at the beginning | changeset | files |
Thu, 10 Jan 2019 13:18:07 +0000 | Christian Urban | updated to Isabelle 2018 | changeset | files |
Thu, 10 Jan 2019 13:00:04 +0000 | Christian Urban | updated to Isabelle 2017 | changeset | files |
Thu, 10 Jan 2019 12:51:24 +0000 | Christian Urban | updated to Isabelle 2016-1 | changeset | files |