Fri, 11 Apr 1997 15:21:36 +0200 | paulson | Yet more fast_tac->blast_tac, and other tidying | file | diff | annotate |
Wed, 09 Apr 1997 12:32:04 +0200 | paulson | Using Blast_tac | file | diff | annotate |
Fri, 04 Apr 1997 11:18:52 +0200 | paulson | Calls Blast_tac | file | diff | annotate |
Tue, 04 Mar 1997 10:48:36 +0100 | paulson | Renamed constant "not" to "Not" | file | diff | annotate |
Tue, 25 Feb 1997 15:05:14 +0100 | pusch | function nat_add_primrec added to allow primrec definitions over nat | file | diff | annotate |
Wed, 12 Feb 1997 18:53:59 +0100 | nipkow | New class "order" and accompanying changes. | file | diff | annotate |