## Calculational Reasoning Revisited -- An Isabelle/Isar experience (2001)

### Cached

### Download Links

by
Gertrud Bauer
,
Markus Wenzel

Venue: | THEOREM PROVING IN HIGHER ORDER LOGICS: TPHOLS 2001 |

Citations: | 13 - 5 self |