author | Walther Neuper <wneuper@ist.tugraz.at> |
Wed, 11 Apr 2018 14:44:46 +0200 | |
changeset 59429 | c0fe04973189 |
parent 59340 | 097347b8910e |
permissions | -rw-r--r-- |
wneuper@59340 | 1 |
libisabelle |
wneuper@59340 | 2 |
classy |
wneuper@59340 | 3 |
multi-isabelle |