Tue, 23 May 2000 18:08:52 +0200 | paulson | Now that 0 is overloaded, constant "zero" and its type class "zero" are | file | diff | annotate |
Thu, 25 Jun 1998 13:57:34 +0200 | paulson | Installation of target HOL-Real | file | diff | annotate |
Tue, 26 Nov 1996 14:28:17 +0100 | nipkow | A bit of commutative ing theory, with a simplification tacxtic and an example. | file | diff | annotate |