Index of /people/dlm/daml-semantics

	Name	Last modified	Size	Description
	Parent Directory		-
	abstract-axiomatic-semantics-august2001.html	22-Jan-2008 22:15	6.0K
	abstract-axiomatic-semantics.html	22-Jan-2008 22:15	4.9K
	daml+oil-axioms-august2001.doc	02-Mar-2003 20:59	137K
	daml+oil-axioms-august2001.htm	02-Mar-2003 20:54	213K
	daml+oil-axioms-august2001.txt	02-Mar-2003 20:53	59K
	daml+oil-axioms-initial-october2001.doc	02-Mar-2003 20:59	138K
	daml+oil-axioms-initial-october2001.htm	02-Mar-2003 20:53	216K
	daml+oil-axioms-initial-october2001.txt	02-Mar-2003 20:52	60K
	daml+oil-axioms-october2001.doc	26-Feb-2003 15:55	137K
	daml+oil-axioms-october2001.htm	26-Feb-2003 15:52	215K
	daml+oil-axioms-october2001.txt	26-Feb-2003 15:53	60K
	daml+oil-axioms-w3c-submission.html	02-Mar-2003 20:50	196K
	daml-axioms-w3c-august2001-old.html	02-Mar-2003 20:48	203K
	daml-axioms-w3c-august2001.htm	02-Mar-2003 20:47	202K
	daml.html	30-Aug-2001 09:28	3.2K
	kif-axioms-august2001.txt	02-Mar-2003 20:45	36K
	kif-axioms-october2001.txt	02-Mar-2003 20:39	34K
	kif-theorems-august2001.txt	27-Aug-2001 15:22	18K
	kif-theorems-october2001.txt	01-Nov-2001 16:38	15K
	old-versions/	22-Jan-2008 22:16	-