Wed, 10 Jul 2002 16:54:07 +0200 | paulson | Fixed quantified variable name preservation for ball and bex (bounded quants) | file | diff | annotate |
Fri, 15 Feb 2002 12:07:27 +0100 | paulson | a new definition of "restrict" | file | diff | annotate |
Wed, 16 Jan 2002 17:52:06 +0100 | paulson | Isar version of AC | file | diff | annotate |
Thu, 22 Jun 1995 17:13:05 +0200 | clasohm | removed \...\ inside strings | file | diff | annotate |
Thu, 18 May 1995 11:51:23 +0200 | lcp | Krzysztof Grabczewski's (nearly) complete AC proofs | file | diff | annotate |