| Thu, 08 Dec 2005 12:50:04 +0100 | wenzelm | tuned sources and proofs | file | diff | annotate |
| Sun, 12 Dec 2004 16:25:47 +0100 | nipkow | REorganized Finite_Set | file | diff | annotate |
| Thu, 09 Dec 2004 18:30:59 +0100 | nipkow | First step in reorganizing Finite_Set | file | diff | annotate |