| Thu, 28 Sep 2006 23:42:35 +0200 | wenzelm | replaced syntax/translations by abbreviation; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Mon, 22 Nov 2004 11:54:08 +0100 | nipkow | fixed proof | file | diff | annotate |
| Mon, 26 May 2003 18:36:15 +0200 | streckem | Introduced distinction wf_prog vs. ws_prog | file | diff | annotate |