Fri, 14 Jun 2019 08:34:28 +0000 | haftmann | moved some theorems into HOL main corpus | file | diff | annotate |
Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
Thu, 04 Oct 2018 10:35:29 +0200 | nipkow | simplified proofs | file | diff | annotate |
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 |