| changeset 42637 | 381fdcab0f36 |
| parent 14379 | ea10a8c3e9cf |
| 42636:41dff1b862bf | 42637:381fdcab0f36 |
|---|---|
1 $Id$ |
|
2 ERRATA in the book "Isabelle: A Generic Theorem Prover" |
1 ERRATA in the book "Isabelle: A Generic Theorem Prover" |
3 by Lawrence C. Paulson (contributions by Tobias Nipkow) |
2 by Lawrence C. Paulson (contributions by Tobias Nipkow) |
4 |
3 |
5 Some of these errors are typographical but most of them are due to continuing |
4 Some of these errors are typographical but most of them are due to continuing |
6 changes to Isabelle. |
5 changes to Isabelle. |