Index of /mirror/archive/ftp.sunet.se/pub/databases/deductive/coral/design/manual/progs

	Name	Last modified	Size
	Parent Directory		-
	declac1.P	1995-02-21 00:00	797
	declac1.P.M	1995-02-21 00:00	1.5K
	declac1a.F	1995-02-21 00:00	20K
	declac1b.F	1995-02-21 00:00	2.7K
	declac2.P	1995-02-21 00:00	953
	declac2.P.M	1995-02-21 00:00	692
	declac3.P	1995-02-21 00:00	341
	declac4.P	1995-02-21 00:00	3.4K
	declac4.P.M	1995-02-21 00:00	1.7K
	declac5.P.M	1995-02-21 00:00	1.1K
	declac5a.P	1995-02-21 00:00	1.1K
	declac5b.P	1995-02-21 00:00	1.4K
	declac12.P	1995-02-21 00:00	546
	declad1.P	1995-02-21 00:00	300
	declad2.P	1995-02-21 00:00	1.7K
	declad3a.P	1995-02-21 00:00	207
	declad3b.P	1995-02-21 00:00	286
	declad4a.P	1995-02-21 00:00	1.5K
	declad4b.P	1995-02-21 00:00	1.2K
	declad4c.P	1995-02-21 00:00	361
	declad5a.P	1995-02-21 00:00	1.2K
	declad5b.P	1995-02-21 00:00	1.7K
	declad6a.P	1995-02-21 00:00	1.4K
	declad6b.P	1995-02-21 00:00	1.2K
	declad7.P	1995-02-21 00:00	416
	declad8.P	1995-02-21 00:00	1.0K
	declad9.P	1995-02-21 00:00	827
	declad72.P	1995-02-21 00:00	663
	declba1a.P	1995-02-21 00:00	211
	declba1b.P	1995-02-21 00:00	525
	declba2.P	1995-02-21 00:00	134
	declne1.P	1995-02-21 00:00	146
	declne2a.P	1995-02-21 00:00	269
	declne2b.P	1995-02-21 00:00	427
	declne3.P	1995-02-21 00:00	234
	declne4.P	1995-02-21 00:00	271
	declne5.P	1995-02-21 00:00	738
	declse1.P	1995-02-21 00:00	1.2K
	declse2.P	1995-02-21 00:00	589
	declse3.P	1995-02-21 00:00	641
	declse4a.P	1995-02-21 00:00	396
	declse4b.P	1995-02-21 00:00	701
	declse5.P	1995-02-21 00:00	525
	declse6.P	1995-02-21 00:00	637
	declse7a.P	1995-02-21 00:00	744
	declse7b.P	1995-02-21 00:00	1.2K
	declse32.P	1995-02-21 00:00	383
	extens1.P	1995-02-21 00:00	1.0K
	extens2.P	1995-02-21 00:00	1.4K
	extens3.P	1995-02-21 00:00	689
	extens4.P	1995-02-21 00:00	625
	fac.P	1995-02-21 00:00	152
	impmod1.S	1995-02-21 00:00	1.0K
	impmod2.S	1995-02-21 00:00	1.0K
	impmod3.S	1995-02-21 00:00	679
	impmod4.S	1995-02-21 00:00	1.1K
	mod1.P	1995-02-21 00:00	156
	mod2.P	1995-02-21 00:00	2.5K
	mod3.P	1995-02-21 00:00	1.1K
	mod4.P	1995-02-21 00:00	1.0K
	mod5.P	1995-02-21 00:00	904
	mod6.P	1995-02-21 00:00	718
	mod7.P	1995-02-21 00:00	741
	mod8.P	1995-02-21 00:00	706
	mod9.P	1995-02-21 00:00	1.0K
	pipe1.P	1995-02-21 00:00	1.1K
	pipe2.P	1995-02-21 00:00	905
	pipe3.P	1995-02-21 00:00	280
	pipe4.P	1995-02-21 00:00	517
	pipe12.P	1995-03-03 00:00	707
	pipe12.P.old	1995-03-03 00:00	799
	start1.F	1995-02-21 00:00	146
	start1.P	1995-02-21 00:00	157
	start2.P	1995-02-21 00:00	151