Index of /mirror/archive/ftp.sunet.se/pub/databases/deductive/coral/doc

	Name	Last modified	Size
	Parent Directory		-
	old/	1995-07-16 02:09	-
	Interface.swp	1998-05-28 18:46	0
	Interfacf.swp	1998-05-28 18:46	0
	Interface.swo	1998-05-28 18:46	4.0K
	README	1994-10-03 13:11	7.8K
	README.swp	1998-05-28 18:46	16K
	Interface	1996-05-13 20:04	24K
	Inside.ps	1996-11-19 05:57	177K
	ordsearch.ps	1994-01-23 00:00	186K
	ngopt.ps	1994-01-23 00:00	194K
	coral.lang.ps	1992-11-27 00:00	217K
	relevance.ps	1994-01-23 00:00	219K
	tdvsbup.ps	1994-01-23 00:00	220K
	template.ps	1994-10-03 14:40	221K
	coral.impl.ps	1993-04-20 02:00	228K
	manual.tex.tar.gz	1995-02-21 00:00	263K
	bupeval.survey.ps	1994-01-23 00:00	303K
	coral.lang.old.ps	1994-01-18 00:00	344K
	magic.ps	1994-10-03 14:40	353K
	mimsy.ps	1993-10-07 00:00	354K
	explain.ps	1993-09-24 02:00	506K
	coralpp.ps	1993-06-08 02:00	512K
	parallelism.ps	1994-05-31 12:02	547K
	manual.ps	1995-03-17 00:00	588K
	coral.ps	1994-01-18 00:00	754K
	ruleord.ps	1993-11-25 00:00	861K
	temp.ps.att	1994-11-21 16:23	918K
	mimsy.thesis.ps	1994-11-04 10:22	1.4M
	coraldocs.tar.gz	1994-01-23 00:00	1.5M