changeset 43508 | 381fdcab0f36 |
parent 14379 | ea10a8c3e9cf |
43507:41dff1b862bf | 43508: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. |