Index of /~setalle/software/coprove/old_versions/old_solver_check

	Name	Last modified	Size	Description
	Parent Directory		-
	bkepk.p	2010-12-17 13:12	940
	checkreq.p	2010-12-17 13:12	710
	codu.p	2010-12-17 13:12	430
	codu2.p	2010-12-17 13:12	431
	codu3.o	2010-12-17 13:12	1.4K
	codu3.p	2010-12-17 13:12	550
	cs.p	2010-12-17 13:12	917
	eke.p	2010-12-17 13:12	545
	execute_eclipse.sh	2010-12-17 13:12	81
	execute_xsb.sh	2010-12-17 13:12	84
	iso_pktpp.p	2010-12-17 13:12	525
	iso_skopua.p	2010-12-17 13:12	503
	kaochow.p	2010-12-17 13:12	884
	neumann.p	2010-12-17 13:12	1.0K
	nspck.p	2010-12-17 13:12	918
	nspk.o	2010-12-17 13:12	1.1K
	nspk.p	2010-12-17 13:12	908
	nspk_lowe.o	2010-12-17 13:12	1.4K
	nspk_lowe.p	2010-12-17 13:12	519
	nspk_lowe2.p	2010-12-17 13:12	556
	otv_naar.docenten.02-03_dies.xls	2010-12-17 13:12	30K
	otway-rees.p	2010-12-17 13:12	879
	site.tgz	2010-12-17 13:12	28K
	solvec.o	2010-12-17 13:12	4.3K
	solvec.p	2010-12-17 13:12	5.3K
	solvec_xsb.p	2010-12-17 13:12	5.3K
	splice.p	2010-12-17 13:12	914
	sv.o	2010-12-17 13:12	5.3K
	sv.p	2010-12-17 13:12	8.0K
	sv.tgz	2010-12-17 13:12	6.0K
	sv_xsb.p	2010-12-17 13:12	5.4K
	t.sh	2010-12-17 13:12	18
	test.p	2010-12-17 13:12	208
	wl.o	2010-12-17 13:12	1.4K
	wl.p	2010-12-17 13:12	706
	yahalom.p	2010-12-17 13:12	1.0K