Fri, 24 Apr 2020 13:16:42 +0000 | haftmann | documentation of relevant ideas | changeset | files |
Fri, 24 Apr 2020 13:16:41 +0000 | haftmann | numeral rules for take_bit / drop_bit on int | changeset | files |
Fri, 24 Apr 2020 13:16:40 +0000 | haftmann | opaque export does not work as expected in presence of dependent instances | changeset | files |
Thu, 23 Apr 2020 23:12:20 +0200 | nipkow | merged | changeset | files |
Thu, 23 Apr 2020 23:08:29 +0200 | nipkow | tuned document | changeset | files |
Thu, 23 Apr 2020 22:54:23 +0200 | nipkow | split AVL_Set.thy | changeset | files |