Mon, 12 Aug 2019 15:57:40 +0200 | nipkow | simplified defs (thanks to Mohammad) | file | diff | annotate |
Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
Thu, 24 May 2018 14:42:47 +0200 | nipkow | reorganization, everything based on Tree2 now | file | diff | annotate | base |