Nicolas Méric cc3f9ab402 Update DOF manual, chapter 3 and 4 ... - Use antiquotations when possible to reference classes and attributes in text (typ, type and const antiquotations) - Add explanation for cid, obj-id and oid - Update ML*, text* an value* railroads - Fix typos - Add some TODOs for the next revision of the manual		2022-03-23 09:07:43 +01:00
..
document	Update DOF manual Chapter 3	2022-03-21 14:09:18 +01:00
00_Frontmatter.thy	Switch from pdf(la)tex to lua(la)tex.	2021-03-10 23:51:18 +00:00
01_Introduction.thy	Import of DOF manual changes from /2021-ITP-PMTI	2022-03-14 17:08:59 +01:00
02_Background.thy	Update DOF manual, chapters 02-03	2022-03-17 17:14:20 +01:00
03_GuidedTour.thy	Update DOF manual, chapter 3 and 4	2022-03-23 09:07:43 +01:00
04_RefMan.thy	Update DOF manual, chapter 3 and 4	2022-03-23 09:07:43 +01:00
05_Implementation.thy	Add checking of invariants for class instances	2022-01-24 17:30:48 +01:00
Isabelle_DOF-Manual.thy	basically table_inline.	2021-05-13 14:37:27 +02:00
ROOT	Update DOF manual Chapter 3	2022-03-21 14:09:18 +01:00