equal
deleted
inserted
replaced
13 with demo documents in the regular Isabelle "doc" space: |
13 with demo documents in the regular Isabelle "doc" space: |
14 |
14 |
15 - Easychair as session "Demo_Easychair" / doc "demo_easychair" |
15 - Easychair as session "Demo_Easychair" / doc "demo_easychair" |
16 - FoilTeX as session "Demo_FoilTeX" / doc "demo_foiltex" |
16 - FoilTeX as session "Demo_FoilTeX" / doc "demo_foiltex" |
17 - Dagstuhl LIPIcs style as session "Demo_LIPIcs" / doc "demo_lipics" |
17 - Dagstuhl LIPIcs style as session "Demo_LIPIcs" / doc "demo_lipics" |
|
18 - Springer LaTeX LNCS style as session "Demo_LLNCS" / doc "demo_llncs" |
18 |
19 |
19 |
20 |
20 *** HOL *** |
21 *** HOL *** |
21 |
22 |
22 * Theory "HOL.Fun": |
23 * Theory "HOL.Fun": |