3 Commits

Author	SHA1	Message	Date
Robin Clark	36f02a4f16	gitignores	2010-04-06 11:08:29 +01:00
Robin	fd4540a246	Need to do more work on the maths at the end in the algorithm environment. ... John Howse said formalisation is not necessary unless you need to prove something. OK well good.	2010-01-15 20:26:26 +00:00
Robin	bf1f644698	Added Symptom Abstraction. Note this needs removal of some set theory ... maths from the algorithm section.	2010-01-15 20:16:06 +00:00