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 |
|
Robin
|
2c633eada2
|
Added a general style file.
|
2010-01-09 11:32:57 +00:00 |
|
Robin
|
4c79393338
|
removed resultant paper.pdf
|
2010-01-09 11:22:22 +00:00 |
|
Robin
|
aa49bda62b
|
Headers using fancy definitions directly
|
2010-01-09 11:20:47 +00:00 |
|
Robin
|
6a7e174425
|
Used jpg instead of eps. going over to pdflatex.
|
2010-01-09 11:16:55 +00:00 |
|
Robin
|
5f0bc595c8
|
Filling it out.
|
2010-01-09 09:00:02 +00:00 |
|
Robin
|
e58c220574
|
Starting to fill this out.
wq
|
2010-01-09 07:38:21 +00:00 |
|
robin
|
a39f644659
|
Deleted CVS files
|
2010-01-08 21:22:00 +00:00 |
|
robin
|
1292fd1bd6
|
Initial commit
|
2010-01-08 21:17:59 +00:00 |
|