| Thu, 05 Dec 2013 09:20:32 +0100 | Andreas Lochbihler | restrict admissibility to non-empty chains to allow more syntax-directed proof rules | file | diff | annotate |
| Tue, 12 Nov 2013 13:47:24 +0100 | blanchet | ported 'partial_function' to 'Ctr_Sugar' abstraction | file | diff | annotate |