equal
deleted
inserted
replaced
10 *) |
10 *) |
11 |
11 |
12 theory Datatypes |
12 theory Datatypes |
13 imports |
13 imports |
14 Setup |
14 Setup |
15 "~~/src/HOL/Library/BNF_Axiomatization" |
15 "HOL-Library.BNF_Axiomatization" |
16 "~~/src/HOL/Library/Cardinal_Notations" |
16 "HOL-Library.Cardinal_Notations" |
17 "~~/src/HOL/Library/Countable" |
17 "HOL-Library.Countable" |
18 "~~/src/HOL/Library/FSet" |
18 "HOL-Library.FSet" |
19 "~~/src/HOL/Library/Simps_Case_Conv" |
19 "HOL-Library.Simps_Case_Conv" |
20 begin |
20 begin |
21 |
21 |
22 section \<open>Introduction |
22 section \<open>Introduction |
23 \label{sec:introduction}\<close> |
23 \label{sec:introduction}\<close> |
24 |
24 |