Thu, 14 May 2020 13:44:44 +0200 | Manuel Eberl | Tuned some proofs in HOL-Analysis | changeset | files |
Thu, 14 May 2020 10:26:33 +0100 | paulson | The Uniq quantifier for FOL too | changeset | files |
Wed, 13 May 2020 13:00:03 +0200 | Manuel Eberl | generalised pigeonhole principle in HOL-Library.FuncSet | changeset | files |