| Wed, 21 Sep 1994 15:40:41 +0200 | wenzelm | minor cleanup, added 'axclass', 'instance', 'syntax', 'defs' sections; | file | diff | annotate |
| Fri, 19 Aug 1994 11:19:14 +0200 | lcp | HOL/Ord.thy,.ML: files now have header comments | file | diff | annotate |
| Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | file | diff | annotate |