An OWL file to hold new axioms from the eagle-i migration work.

SEssaid / connect-isf

Automatically exported from code.google.com/p/connect-isf

0 stars 0 forks source link

An OWL file to hold new axioms from the eagle-i migration work. #16

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

This issue was created by revision r308.

A temporary place for new axioms from the eagle-i migration until they are 
rearranged into other ISF files. This minimizes changes to other ISF files.

Original issue reported on code.google.com by sha...@essaid.com on 15 Nov 2013 at 4:47