isabelle: src/Tools/ROOT@b087610592b4 (annotated)

69179 dff89effe26b proper chapter; wenzelm parents: 62354 diff changeset	1	chapter Tools
dff89effe26b proper chapter; wenzelm parents: 62354 diff changeset	2
70853 c92ae7b0f3f1 clarified sessions/directories; wenzelm parents: 69444 diff changeset	3	session Tools = Pure +
c92ae7b0f3f1 clarified sessions/directories; wenzelm parents: 69444 diff changeset	4	theories
c92ae7b0f3f1 clarified sessions/directories; wenzelm parents: 69444 diff changeset	5	Code_Generator
c92ae7b0f3f1 clarified sessions/directories; wenzelm parents: 69444 diff changeset	6
56276 9e2d5e3debd3 some SML examples; wenzelm parents: 53166 diff changeset	7	session SML in SML = Pure +
9e2d5e3debd3 some SML examples; wenzelm parents: 53166 diff changeset	8	theories
9e2d5e3debd3 some SML examples; wenzelm parents: 53166 diff changeset	9	Examples
69222 8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	10
74105 d3d6e01a6b00 more operations on types and terms; wenzelm parents: 73937 diff changeset	11	session Haskell in Haskell = HOL +
69222 8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	12	theories
8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	13	Haskell
69444 c3c9440cbf9b more formal Haskell project setup, with dependencies on packages from "stackage"; wenzelm parents: 69241 diff changeset	14	theories [condition = ISABELLE_GHC_STACK]
69241 5426d266dcc5 clarified names; wenzelm parents: 69225 diff changeset	15	Test

author	blanchet
	Mon, 31 Jan 2022 16:09:23 +0100
changeset 75020	b087610592b4
parent 74199	bf9871795aeb
child 75992	1f6d79b62222
permissions	-rw-r--r--