TY  - RPRT
TI  - Interactive Simplifier Tracing and Debugging in Isabelle
AU  - Lars Hupel
PY  - 2014
DO  - 10.1007/978-3-319-08434-3_24
UR  - https://arxiv.org/abs/1406.0292
ID  - 1406.0292
ER  -