Skip to content
Permalink
Browse files

import in PED_theorem corrected

  • Loading branch information...
Torsten Hahmann
Torsten Hahmann committed Mar 22, 2019
1 parent 8b7cd7c commit ed425c1049a487ea118b59837756bc3fac72eb90
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/multidim_space_ped/theorems/ped_theorems.clif
@@ -10,7 +10,7 @@

(cl-text http://colore.oor.net/multidim_space_ped/theorems/ped_theorems.clif

(cl-imports http://colore.oor.net/multidim_space_ped/ped.clif)
(cl-imports http://colore.oor.net/multidim_space_ped/ped_dk1.clif)


(cl-comment 'PED-T1: DK1 irreflexive')

0 comments on commit ed425c1

Please sign in to comment.
You can’t perform that action at this time.