Fri, 29 Jun 2018 10:24:36 +0200 | Lars Hupel | remove trailing commas | changeset | files |
Thu, 28 Jun 2018 17:14:52 +0200 | nipkow | added lemmas | changeset | files |
Thu, 28 Jun 2018 14:14:05 +0100 | paulson | merged | changeset | files |
Thu, 28 Jun 2018 14:13:57 +0100 | paulson | Generalising and renaming some basic results | changeset | files |
Thu, 28 Jun 2018 13:49:02 +0200 | immler | transfer more lemmas | changeset | files |
Thu, 28 Jun 2018 13:18:02 +0200 | immler | fixed some oversights | changeset | files |