Index of /~kztk/teaching/2016/logic/w6_progs

	Name	Last modified	Size	Description
	Parent Directory		-
	t.sml	2016-05-24 16:03	1.2K
	prop.sml	2016-05-24 16:03	815
	prop_vars.sml	2016-05-24 16:03	462