Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
Tue, 22 Mar 2016 13:32:40 +0100 | blanchet | compile | file | diff | annotate |
Tue, 22 Mar 2016 12:39:37 +0100 | blanchet | file header | file | diff | annotate |
Tue, 12 Jan 2016 09:28:08 +0100 | traytel | more careful witness' type analysis | file | diff | annotate |
Wed, 12 Aug 2015 20:46:33 +0200 | traytel | new command for lifting BNF structure over typedefs | file | diff | annotate |