| Mon, 22 Nov 2010 17:46:51 +0100 | haftmann | replaced misleading Fset/fset name -- these do not stand for finite sets | file | diff | annotate |
| Sat, 04 Sep 2010 21:10:39 +0200 | haftmann | added more explicit warning | file | diff | annotate |
| Tue, 10 Aug 2010 09:11:23 +0200 | haftmann | executable relation operations contributed by Tjark Weber | file | diff | annotate |