author | Walther Neuper <neuper@ist.tugraz.at> |
Wed, 25 Aug 2010 16:20:07 +0200 | |
branch | isac-update-Isa09-2 |
changeset 37947 | 22235e4dbe5f |
parent 37906 | src/Tools/isac/IsacKnowledge/Calculus.thy@e2b23ba9df13 |
child 37992 | 351a9e94c38d |
permissions | -rw-r--r-- |