isabelle: src/Tools/ROOT@8365124a86ae (annotated)

69179 dff89effe26b proper chapter; wenzelm parents: 62354 diff changeset	1	chapter Tools
dff89effe26b proper chapter; wenzelm parents: 62354 diff changeset	2
53166 1266b6208a5b missing ROOT (cf. beb4ee344c22); wenzelm parents: diff changeset	3	session Spec_Check in Spec_Check = Pure +
1266b6208a5b missing ROOT (cf. beb4ee344c22); wenzelm parents: diff changeset	4	theories
1266b6208a5b missing ROOT (cf. beb4ee344c22); wenzelm parents: diff changeset	5	Spec_Check
1266b6208a5b missing ROOT (cf. beb4ee344c22); wenzelm parents: diff changeset	6	Examples
1266b6208a5b missing ROOT (cf. beb4ee344c22); wenzelm parents: diff changeset	7
56276 9e2d5e3debd3 some SML examples; wenzelm parents: 53166 diff changeset	8	session SML in SML = Pure +
9e2d5e3debd3 some SML examples; wenzelm parents: 53166 diff changeset	9	theories
9e2d5e3debd3 some SML examples; wenzelm parents: 53166 diff changeset	10	Examples
69222 8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	11
8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	12	session Haskell in Haskell = Pure +
8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	13	theories
8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	14	Haskell