Sun, 26 May 2013 12:56:37 +0200 | blanchet | handle lambda-lifted problems in Isar construction code | changeset | files |
Sun, 26 May 2013 11:56:55 +0200 | nipkow | simpler proof through custom summation function | changeset | files |
Sat, 25 May 2013 18:30:38 +0200 | wenzelm | merged | changeset | files |