Sun, 24 Apr 1994 11:27:38 +0200 | clasohm | renamed theory files | file | diff | annotate |
Fri, 22 Apr 1994 21:23:14 +0200 | clasohm | renamed theory files | file | diff | annotate |
Tue, 22 Mar 1994 18:07:45 +0100 | nipkow | added dependency on datatype.ML | file | diff | annotate |
Mon, 24 Jan 1994 15:59:02 +0100 | nipkow | added conj_assoc to HOL_ss | file | diff | annotate |
Tue, 09 Nov 1993 16:31:03 +0100 | lcp | Target "test" now depends on examples files | file | diff | annotate |
Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | file | diff | annotate |