6 commits

Author	SHA1	Message	Date
Graham Nelson	c0a742410b	Completed refactor of invocations	2021-04-04 13:46:08 +01:00
Graham Nelson	4994386ea4	Improved discussion of simplifications	2021-02-03 22:45:53 +00:00
Graham Nelson	41efae7f29	Clarified sentence conversions	2021-02-03 09:32:42 +00:00
Graham Nelson	5eb8b9b8ab	Tidied up I6 schemas	2021-02-02 19:34:56 +00:00
Graham Nelson	180d254ca7	Tidying up calculus module	2020-09-02 23:24:10 +01:00
Graham Nelson	515b130748	Pared calculus module down to essential predicates only	2020-08-29 09:33:21 +01:00

Renamed from docs/calculus-module/3-bas.html (Browse further)