equal
deleted
inserted
replaced
15 implementation The Isabelle/Isar Implementation Manual |
15 implementation The Isabelle/Isar Implementation Manual |
16 system The Isabelle System Manual |
16 system The Isabelle System Manual |
17 |
17 |
18 Old Manuals (outdated) |
18 Old Manuals (outdated) |
19 intro Old Introduction to Isabelle |
19 intro Old Introduction to Isabelle |
20 ref Old Isabelle Reference Manual |
|
21 logics Isabelle's Logics: overview and misc logics |
20 logics Isabelle's Logics: overview and misc logics |
22 logics-HOL Isabelle's Logics: HOL |
21 logics-HOL Isabelle's Logics: HOL |
23 logics-ZF Isabelle's Logics: FOL and ZF |
22 logics-ZF Isabelle's Logics: FOL and ZF |
24 |
23 |