julianmendez / jcel

Completed

by Julian

created 2015-12-27 23:43 UTC

There were no notable changes in the changeset which was inspected.

???

Head	Julian Mendez 2015-12-28 00:43 GMT+0100 Add copyright notice to interfaces of normalized axioms
Base	Julian Mendez 2015-12-27 23:22 UTC Use interfaces of range axiom and of nominal axiom