Theorems did not appears in the clause Theorems

gdupont1 / rodin-hs

A collection of Haskell modules for handling Rodin files

GNU General Public License v3.0

0 stars 0 forks source link

Closed Rpeter99 closed 3 years ago

Rpeter99 commented 3 years ago

After a translation into a tex form all the theorems are in the clause Axioms instead of appears in the clause Theorems.

gdupont1 commented 3 years ago

This is indeed a missing feature and a branch has been created for it (branch issue-4).

gdupont1 commented 3 years ago

Fixed.