21 months ago wenzelm tuned;
21 months ago wenzelm minor performance tuning: more compact, more sharing;
21 months ago wenzelm potential performance tuning: more compact data structure, but less sharing;
21 months ago paulson Importation of additional lemmas from metric.ml
21 months ago paulson fixes esp to theory presentation
21 months ago paulson new material ported from HOL Light's metric.ml
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 tip