author | Walther Neuper <wneuper@ist.tugraz.at> |
Thu, 22 Dec 2016 11:36:20 +0100 | |
changeset 59279 | 255c853ea2f0 |
parent 59206 | ebf4a8a63371 |
child 59427 | d7a39d815afa |
permissions | -rw-r--r-- |
wneuper@59206 | 1 |
theory Calculus imports "~~/src/HOL/Real" begin |
neuper@37906 | 2 |
|
neuper@42318 | 3 |
end |