doc-src/TutorialI/CTL/Base.thy
Thu, 11 Jan 2001 12:12:01 +0100 paulson lcp's suggestions for CTL
less more (0) -1 tip