| 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 |