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
-