| changeset 48964 | 3ec847562782 |
| parent 47323 | 365521737b6a |
| child 50174 | fe84e830866e |
| 48963:f11d88bfa934 | 48964:3ec847562782 |
|---|---|
19 intro Old Introduction to Isabelle |
19 intro Old Introduction to Isabelle |
20 ref Old Isabelle Reference Manual |
20 ref Old Isabelle Reference Manual |
21 logics Isabelle's Logics: overview and misc logics |
21 logics Isabelle's Logics: overview and misc logics |
22 logics-HOL Isabelle's Logics: HOL |
22 logics-HOL Isabelle's Logics: HOL |
23 logics-ZF Isabelle's Logics: FOL and ZF |
23 logics-ZF Isabelle's Logics: FOL and ZF |
24 ind-defs (Co)Inductive Definitions in ZF |
24 |