| Wed, 07 Feb 2007 17:51:38 +0100 | berghofe | Adapted to changes in Finite_Set theory. | file | diff | annotate |
| Sun, 01 Oct 2006 18:29:26 +0200 | wenzelm | moved theory Infinite_Set to Library; | file | diff | annotate |
| Wed, 09 Aug 2006 00:14:28 +0200 | wenzelm | tuned proofs; | file | diff | annotate |