| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| Wed, 11 Nov 2009 14:15:11 +0100 | wenzelm | uniform use of simultabeous use_thys; | file | diff | annotate |
| Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
| Sun, 01 Oct 2006 18:29:26 +0200 | wenzelm | moved theory Infinite_Set to Library; | file | diff | annotate |
| Fri, 28 Apr 2006 15:53:47 +0200 | berghofe | New ROOT file for nominal datatype package. | file | diff | annotate |