| Fri, 07 Mar 2008 13:53:04 +0100 | haftmann | whitespace tuning | file | diff | annotate |
| Thu, 28 Feb 2008 12:56:30 +0100 | wenzelm | wf_trancl: structured proof; | file | diff | annotate |
| Thu, 21 Feb 2008 17:33:58 +0100 | nipkow | moved bij_betw from Library/FuncSet to Fun, redistributed some lemmas, and | file | diff | annotate |