zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo
0 stars 0 forks source link

027-001 asserts fiat object part disjointness with object #76

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
It was agreed that we will not assert disjointness of the subclasses of 
material entity

Original issue reported on code.google.com by alanruttenberg@gmail.com on 28 Jun 2012 at 3:40

GoogleCodeExporter commented 9 years ago

Original comment by alanruttenberg@gmail.com on 10 Jul 2012 at 5:28