Sun, 16 Sep 2018 15:16:04 +0200 | nipkow | more traditional formulation | file | diff | annotate |
Fri, 22 Jun 2018 20:31:49 +0200 | wenzelm | clarified document antiquotation @{theory}; | file | diff | annotate |
Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
Sat, 26 Aug 2017 16:47:25 +0200 | nipkow | reorganized and added log-related lemmas | file | diff | annotate |
Fri, 25 Aug 2017 23:09:56 +0200 | nipkow | reorganization of tree lemmas; new lemmas | file | diff | annotate |