src/Tools/isac/Doc/isabelletags.sty
| author |
Walther Neuper <walther.neuper@jku.at> |
|
Wed, 11 Mar 2020 15:25:52 +0100 |
| changeset 59827 |
168abe8dd1e3 |
| permissions |
-rw-r--r-- |
start formally checked documentation with Lucas_Interpreter
note: the text is a partial copy from the IJCAR/ThEdu'20 paper