Separation_Algebra/ex/capDL/Abstract_Separation_D.thy
2014-09-13 Xingyuan Zhang thys2 added
less more (0) tip