| Thu, 01 Sep 2016 15:57:54 +0200 | nipkow | Renamed balanced to complete; added balanced; more about both | file | diff | annotate |
| Fri, 12 Aug 2016 08:20:17 +0200 | nipkow | Extracted floorlog and bitlen to separate theory Log_Nat | file | diff | annotate |
| Tue, 09 Aug 2016 21:18:32 +0200 | nipkow | New theory Balance_List | file | diff | annotate |