Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
Mon, 31 Aug 2009 14:09:42 +0200 | nipkow | tuned the simp rules for Int involving insert and intervals. | file | diff | annotate |
Mon, 22 Jun 2009 23:48:24 +0200 | wenzelm | observe standard theory naming conventions; | file | diff | annotate | base |