author | Walther Neuper <wneuper@ist.tugraz.at> |
Wed, 22 Aug 2018 12:47:53 +0200 | |
changeset 59450 | 9797318ac4b5 |
parent 59340 | 097347b8910e |
permissions | -rw-r--r-- |
wneuper@59340 | 1 |
libisabelle |
wneuper@59340 | 2 |
classy |
wneuper@59340 | 3 |
multi-isabelle |