| Sat, 15 Mar 2008 22:07:29 +0100 | wenzelm | avoid unclear fact references; | file | diff | annotate |
| Wed, 07 Feb 2007 17:51:38 +0100 | berghofe | Adapted to changes in Finite_Set theory. | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |