Mon, 24 Feb 2020 21:46:45 +0100 | traytel | lift BNF witnesses for quotients (unless better ones are specified by the user) | file | diff | annotate |
Tue, 10 Dec 2019 01:06:39 +0100 | traytel | extension of lift_bnf to support quotient types | file | diff | annotate |
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 |