| Mon, 11 Nov 2019 17:00:07 +0100 | wenzelm | tuned message; | changeset | files |
| Mon, 11 Nov 2019 11:49:43 +0100 | wenzelm | added "isabelle phabricator"; | changeset | files |
| Tue, 12 Nov 2019 12:33:05 +0000 | paulson | New library material from the AFP entry ZFC_in_HOL | changeset | files |