| Mon, 18 Aug 2014 15:46:27 +0200 | wenzelm | more general dummy: may contain "parked arguments", for example; | changeset | files |
| Tue, 19 Aug 2014 16:46:33 +0200 | desharna | document 'ctr_transfer' | changeset | files |
| Tue, 19 Aug 2014 16:46:31 +0200 | desharna | generate 'ctr_transfer' for (co)datatypes | changeset | files |
| Tue, 19 Aug 2014 15:19:16 +0200 | Andreas Lochbihler | rename Quickcheck_Types to Lattice_Constructions and remove quickcheck setup | changeset | files |
| Tue, 19 Aug 2014 14:58:38 +0200 | Andreas Lochbihler | Enum.finite_5 already provides a non-distributive lattice (see 51aa30c9ee4e) | changeset | files |
| Tue, 19 Aug 2014 09:39:11 +0200 | blanchet | reduced dependency on 'Datatype' theory and ML module | changeset | files |
| Tue, 19 Aug 2014 09:36:57 +0200 | blanchet | removed Z3 3.2, now superseded by Z3 4.3 | changeset | files |
| Tue, 19 Aug 2014 09:36:37 +0200 | blanchet | avoid old 'smt' method in examples | changeset | files |