Index of /people/dlm/daml-semantics/old-versions

	Name	Last modified	Size	Description
	Parent Directory		-
	daml-ont-kif-axioms-001210.txt	15-Dec-2000 08:09	35K
	daml-ont-kif-axioms-001210.html	15-Dec-2000 08:08	161K
	daml-ont-kif-axioms-001210.doc	15-Dec-2000 08:16	95K
	daml-ont-kif-axioms-001129.txt	29-Nov-2000 20:00	35K
	daml-ont-kif-axioms-001129.html	29-Nov-2000 19:59	160K
	daml-ont-kif-axioms-001129.doc	29-Nov-2000 19:48	94K
	daml-ont-kif-axioms-001127-new.html	29-Nov-2000 20:25	160K
	daml+oil-axioms-july2001.txt	17-Jul-2001 18:54	51K
	daml+oil-axioms-july2001.htm	17-Jul-2001 18:42	181K
	daml+oil-axioms-july2001.doc	17-Jul-2001 18:44	125K
	daml+oil-axioms-010301.txt	03-Mar-2001 12:30	46K
	daml+oil-axioms-010301.htm	03-Mar-2001 12:30	178K
	daml+oil-axioms-010301.doc	03-Mar-2001 12:30	108K
	daml+oil-axioms-010111.txt	19-Jan-2001 09:39	47K
	daml+oil-axioms-010111.htm	19-Jan-2001 09:39	180K
	daml+oil-axioms-010111.doc	19-Jan-2001 09:39	107K
	daml+oil-axioms-010105.txt	06-Jan-2001 17:54	47K
	daml+oil-axioms-010105.htm	06-Jan-2001 17:54	181K
	daml+oil-axioms-010105.doc	08-Jan-2001 11:56	96K
	abstract-axiomatic-semantics-march2001.html	22-Jan-2008 22:16	4.3K
	abstract-axiomatic-semantics-daml-ont.html	22-Jan-2008 22:16	3.4K
	abstract-axiomatic-semantics-001215.html	22-Jan-2008 22:16	3.4K