Dynamic2static.thy
Thu, 24 Oct 2013 09:41:33 +0800 chunhan restructured
Tue, 22 Oct 2013 10:08:27 +0800 chunhan new structure for sound and complete
less more (0) -2 tip