Graham Nelson 8bb060c576 Removed 6 of the compilation modes		2021-04-07 00:34:07 +01:00
..
Chapter 1	Tidying up calculus module	2020-09-02 23:24:10 +01:00
Chapter 2	Tidying up calculus module	2020-09-02 23:24:10 +01:00
Chapter 3	Completed revision of the knowledge module	2021-02-19 00:21:55 +00:00
Chapter 4	Removed 6 of the compilation modes	2021-04-07 00:34:07 +01:00
Chapter 5	Further strides through the swampland of actions	2021-03-06 16:35:47 +00:00
Figures	Pared calculus module down to essential predicates only	2020-08-29 09:33:21 +01:00
Preliminaries	Completed work on calculus module	2021-02-04 16:35:45 +00:00
Contents.w	Clarified sentence conversions	2021-02-03 09:32:42 +00:00