src/HOL/UNITY/Constrains.thy
Sat, 31 Oct 1998 12:45:25 +0100 paulson the Increasing operator
Thu, 15 Oct 1998 11:35:07 +0200 paulson specifications as sets of programs
Wed, 07 Oct 1998 10:32:00 +0200 paulson tidying and renaming
Thu, 13 Aug 1998 18:06:40 +0200 paulson Constrains, Stable, Invariant...more of the substitution axiom, but Union
less more (0) tip