| changeset 60286 | 410115884a92 |
| parent 58618 | 782f0b662cae |
| child 61421 | e0825405d398 |
--- a/src/Doc/Isar_Ref/Preface.thy Sat May 16 12:05:52 2015 +0200 +++ b/src/Doc/Isar_Ref/Preface.thy Sun May 17 21:44:34 2015 +0200 @@ -2,8 +2,6 @@ imports Base Main begin -chapter \<open>Preface\<close> - text \<open> The \emph{Isabelle} system essentially provides a generic infrastructure for building deductive systems (programmed in