| Fri, 11 Jan 2019 13:37:54 +0000 | Christian Urban | added some text at the beginning | file | diff | annotate |
| Thu, 10 Jan 2019 13:18:07 +0000 | Christian Urban | updated to Isabelle 2018 | file | diff | annotate |
| Thu, 10 Jan 2019 13:00:04 +0000 | Christian Urban | updated to Isabelle 2017 | file | diff | annotate |
| Thu, 10 Jan 2019 12:51:24 +0000 | Christian Urban | updated to Isabelle 2016-1 | file | diff | annotate |
| Thu, 10 Jan 2019 12:48:43 +0000 | Christian Urban | upodated to Isabelle 2016 | file | diff | annotate |
| Sat, 27 Jul 2013 08:14:01 +0200 | Christian Urban |
updated | file | diff | annotate |
| Wed, 26 Jun 2013 14:35:43 +0100 | Christian Urban |
implemented new UF in scala; made some small adjustments to the definitions in the theory | file | diff | annotate |