haftmann@25235: haftmann@25235: haftmann@25235: haftmann@25235: haftmann@25235: haftmann@25235: haftmann@25235: The {ISABELLE} Library haftmann@25235: haftmann@25235: haftmann@25235: haftmann@25235:
haftmann@25235: haftmann@25235: haftmann@25235: haftmann@25235: haftmann@25235: haftmann@25235: haftmann@25235:
[Isabelle] haftmann@25235: haftmann@25235: haftmann@25235: haftmann@25235: haftmann@25235:
The {ISABELLE} Library
haftmann@25235:
haftmann@25235:
haftmann@25235: