Index of /~shm/MI

	Name	Last modified	Size	Description
	Parent Directory		-
	MI17/	2002-09-12 09:47	-
	MIbanner.gif	2002-02-21 10:03	6.5K
	Michie.ps	2002-02-11 14:50	193K
	Muggleton.ps	2002-02-11 14:39	56K
	a.	1998-02-10 16:51	1.0K
	ilp_logo.gif	1998-02-10 17:14	1.7K
	little_ilp_logo.gif	1998-02-10 17:14	434
	mi.html	2002-09-12 09:57	4.4K
	mi1.html	1998-02-10 17:00	8.5K
	mi2.html	1998-02-10 17:05	3.5K
	mi3.html	1998-02-10 17:05	4.3K
	mi4.html	1998-02-10 17:05	5.0K
	mi5.html	1998-02-10 17:05	5.2K
	mi6.html	1998-02-10 17:05	4.8K
	mi7.html	1998-02-10 17:05	4.7K
	mi8.html	1998-02-10 17:05	5.4K
	mi9.html	1998-02-10 17:05	5.1K
	mi10.html	1998-02-10 17:02	4.2K
	mi11.html	1998-02-10 17:02	4.5K
	mi12.html	1998-02-10 17:04	4.6K
	mi13.html	1998-02-10 17:05	7.4K
	mi14.html	1998-02-10 17:05	7.2K
	mi15.html	2002-02-21 09:53	6.9K
	mi16.html	2002-02-21 10:07	34K
	mi18.html	2002-03-21 13:33	51K
	mi19.html	2002-09-12 11:10	26K
	oup	1998-02-10 16:51	56
	programme18.pdf	2002-07-13 02:45	38K
	programme19.pdf	2002-09-06 10:29	53K
	t.	1998-02-10 16:51	1.0K