Sun, 15 Nov 2009 21:58:40 +0100 | wenzelm | add_expand_thm: explicit indication of is_def instead of fragile heuristic, tuned signature; | file | diff | annotate |
Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
Thu, 06 Sep 2007 11:47:36 +0200 | berghofe | Definition of normal forms (taken from theory WeakNorm). | file | diff | annotate |