| 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 |