finite_static.thy
2013-04-12 chunhan add thy files
less more (0) tip