| Fri, 12 Aug 2016 09:57:09 +0200 | nipkow | tuned | changeset | files |
| Fri, 12 Aug 2016 08:20:17 +0200 | nipkow | Extracted floorlog and bitlen to separate theory Log_Nat | changeset | files |
| Wed, 10 Aug 2016 18:57:20 +0200 | haftmann | lists form a monoid | changeset | files |
| Wed, 10 Aug 2016 18:57:20 +0200 | haftmann | formal passive interpretation proofs for conj and disj | changeset | files |
| Mon, 08 Aug 2016 14:01:49 +0200 | Bertram Felgenhauer | add monotonicity propertyies of `mult1` and `mult` | changeset | files |
| Wed, 10 Aug 2016 18:57:20 +0200 | haftmann | keeping lifting rules local | changeset | files |
| Wed, 10 Aug 2016 18:57:20 +0200 | haftmann | epheremal interpretation keeps auxiliary definition localized | changeset | files |
| Wed, 10 Aug 2016 18:57:20 +0200 | haftmann | tuned order of declarations and proofs | changeset | files |