21 months ago | wenzelm | tuned; | changeset | files |
21 months ago | wenzelm | minor performance tuning: more compact, more sharing; | changeset | files |
21 months ago | wenzelm | potential performance tuning: more compact data structure, but less sharing; | changeset | files |
21 months ago | paulson | Importation of additional lemmas from metric.ml | changeset | files |
21 months ago | paulson | fixes esp to theory presentation | changeset | files |
21 months ago | paulson | new material ported from HOL Light's metric.ml | changeset | files |
Loading... |