src/HOL/UNITY/Extend.thy
Mon, 18 Oct 1999 16:16:03 +0200 paulson exchanged the first two args of "project" and "drop_prog"
Mon, 18 Oct 1999 15:18:24 +0200 paulson working version with localTo[C] instead of localTo
Mon, 11 Oct 1999 10:53:39 +0200 paulson working shapshot with "projecting" and "extending"
less more (0) -3 tip