Completed
Push — master ( 35d701...12a928 )
by Julian
02:06
created

No notable changes

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

???
Head
Julian Mendez  
Improve Javadoc of normalized axioms
Base
Julian Mendez  
Remove redundant Javadoc from default implementations