# HG changeset patch
# User mas02md
# Date 1253006128 0
# Node ID 365d3c500ef31decbc2fc2822b999f5c5725460b
# Parent  5240e74a0607c68379aa7ca6280db44c5aed6bd1
Michael Jewell went through this and noticed some semantic errors and he and I tidied up some of the definitions.

diff -r 5240e74a0607 -r 365d3c500ef3 docs/spec/spec.tex
--- a/docs/spec/spec.tex	Mon Sep 14 16:06:02 2009 +0000
+++ b/docs/spec/spec.tex	Tue Sep 15 09:15:28 2009 +0000
@@ -6,7 +6,7 @@
 \usetikzlibrary{calc}
 
 \title{A Formal Framework for Content-based Retrieval}
-\author{Mark d'Inverno and Christophe Rhodes}
+\author{Mark d'Inverno and Christophe Rhodes and Michael Jewell}
 
 
 \begin{document}