isabelle: src/Tools/ROOT@52f3d1cd8d63 (annotated)

75992 1f6d79b62222 clarified chapters: de-emphasize minor examples; wenzelm parents: 74199 diff changeset	1	chapter Misc
69179 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	wenzelm
	Wed, 11 Jan 2023 15:00:06 +0100
changeset 76954	52f3d1cd8d63
parent 75992	1f6d79b62222
child 78315	addecc8de2c4
permissions	-rw-r--r--