Init_prop.thy
2013-05-30 chunhan co2sobj simpset
less more (0) -1 tip