Front integration and various changes
Compare changes
+ 0
− 0
No preview for this file type
Created by: SimonGuilloud
Heavy update to code documentation and Reference Manual Parts of the front-end integrated, in its proper subproject. Some reorganisation, simplification and unification of FOL. New proof step without premise to start with an OCBSL-tautology. More small improvments.