Thu, 26 Aug 1999 11:36:04 +0200 | paulson | changed "guar" back to "guarantees" (sorry) | file | diff | annotate |
Wed, 25 Aug 1999 10:59:32 +0200 | paulson | renamed some theorems; also better natural deduction style for old ones | file | diff | annotate |
Fri, 06 Aug 1999 17:27:51 +0200 | paulson | new theory UNITY/Lift_prog | file | diff | annotate |