| Sun, 07 May 2023 14:52:53 +0100 | paulson | Importation of additional lemmas from metric.ml | file | diff | annotate |
| Sat, 06 May 2023 12:42:10 +0100 | paulson | fixes esp to theory presentation | file | diff | annotate |
| Sat, 06 May 2023 11:10:23 +0100 | paulson | new material ported from HOL Light's metric.ml | file | diff | annotate |