| Thu, 22 Apr 1999 13:04:23 +0200 | wenzelm | recdef requires theory Recdef; | file | diff | annotate |
| Tue, 20 Apr 1999 14:36:19 +0200 | paulson | Main is the correct parent | file | diff | annotate |
| Fri, 18 Sep 1998 14:40:11 +0200 | paulson | new theorem less_Suc_eq_le | file | diff | annotate |
| Fri, 03 Jul 1998 17:35:39 +0200 | wenzelm | stepping stones: Recdef, Main; | file | diff | annotate |