| Thu, 03 Apr 2014 10:51:22 +0200 | blanchet | use same idiom as used for datatype 'size' function to name constants and theorems emerging from various type interpretations -- reduces the chances of name clashes on theory merges | changeset | files |
| Thu, 03 Apr 2014 10:51:20 +0200 | blanchet | removed clone (cf. 300f613060b0) | changeset | files |
| Wed, 02 Apr 2014 20:41:44 +0200 | wenzelm | tuned signature -- more explicit iterator terminology; | changeset | files |