equal
deleted
inserted
replaced
20 |
20 |
21 Demo Documents |
21 Demo Documents |
22 demo_easychair Demo for Easychair style |
22 demo_easychair Demo for Easychair style |
23 demo_foiltex Demo for FoilTeX: slides in LaTeX |
23 demo_foiltex Demo for FoilTeX: slides in LaTeX |
24 demo_lipics Demo for Dagstuhl LIPIcs style |
24 demo_lipics Demo for Dagstuhl LIPIcs style |
|
25 demo_llncs Demo for Springer LaTeX LNCS style |
25 |
26 |
26 Old Isabelle Manuals |
27 Old Isabelle Manuals |
27 tutorial Tutorial on Isabelle/HOL |
28 tutorial Tutorial on Isabelle/HOL |
28 intro Old Introduction to Isabelle |
29 intro Old Introduction to Isabelle |
29 logics Isabelle's Logics: HOL and misc logics |
30 logics Isabelle's Logics: HOL and misc logics |