Admin/Mercurial/Central/Mercurial
author paulson <lp15@cam.ac.uk>
Tue, 17 May 2022 14:10:14 +0100
changeset 75455 91c16c5ad3e9
parent 48779 71136069089d
permissions -rw-r--r--
tidied auto / simp with null arguments

This is the main Isabelle Mercurial repository.
All the meta data is in .hg/