Index of /u/lealanko/ftt09/src

	Name	Last modified	Size	Description
	Parent Directory		-
	20091105/	10-Nov-2009 12:14	-
	20091117/	19-Nov-2009 16:22	-
	20091121/	24-Nov-2009 17:56	-
	20091126/	27-Nov-2009 01:28	-
	20091127/	27-Nov-2009 22:23	-
	Basics.glob	20-Feb-2010 21:37	16K
	Basics.v	31-Aug-2009 19:51	46K
	Basics.v.d	19-Nov-2009 14:53	32
	Basics.vo	20-Feb-2010 21:37	30K
	Equiv.glob	19-Nov-2009 14:54	44K
	Equiv.v	31-Aug-2009 19:51	44K
	Equiv.v.d	19-Nov-2009 14:53	38
	Hoare.glob	19-Nov-2009 14:54	31K
	Hoare.v	31-Aug-2009 19:51	52K
	Hoare.v.d	19-Nov-2009 14:53	40
	Imp.glob	19-Nov-2009 14:54	27K
	Imp.v	31-Aug-2009 19:51	36K
	Imp.v.d	19-Nov-2009 14:53	34
	Lists.glob	19-Nov-2009 14:54	16K
	Lists.v	31-Aug-2009 19:51	33K
	Lists.v.d	19-Nov-2009 14:53	41
	Logic.glob	20-Feb-2010 21:37	17K
	Logic.v	31-Aug-2009 19:51	37K
	Logic.v.d	19-Nov-2009 14:53	40
	Logic.vo	20-Feb-2010 21:37	46K
	Makefile	04-Dec-2009 23:08	421
	Makefile.coq	20-Feb-2010 21:40	6.1K
	Makefile.ott	20-Feb-2010 21:37	5.0K
	MoreStlc.glob	19-Nov-2009 14:54	30K
	MoreStlc.v	31-Aug-2009 19:51	48K
	MoreStlc.v.d	19-Nov-2009 14:53	48
	Poly.glob	19-Nov-2009 14:54	26K
	Poly.v	31-Aug-2009 19:51	45K
	Poly.v.d	19-Nov-2009 14:53	37
	Preface.glob	19-Nov-2009 14:53	9
	Preface.v	31-Aug-2009 19:51	6.7K
	Preface.v.d	19-Nov-2009 14:53	35
	Props.glob	19-Nov-2009 14:54	17K
	Props.v	31-Aug-2009 19:51	60K
	Props.v.d	19-Nov-2009 14:53	39
	Smallstep.glob	19-Nov-2009 14:54	30K
	Smallstep.v	31-Aug-2009 19:51	37K
	Smallstep.v.d	19-Nov-2009 14:53	52
	Stlc.glob	19-Nov-2009 14:54	25K
	Stlc.v	31-Aug-2009 19:51	45K
	Stlc.v.d	19-Nov-2009 14:53	41
	Subtyping.glob	19-Nov-2009 14:54	33K
	Subtyping.v	31-Aug-2009 19:51	55K
	Subtyping.v.d	19-Nov-2009 14:53	55
	base_type.ott	20-Feb-2010 21:37	241
	bigstep.ott	20-Feb-2010 21:37	762
	bool.ott	20-Feb-2010 21:37	1.9K
	bool_simple_typing.ott	20-Feb-2010 21:37	244
	bool_store.ott	20-Feb-2010 21:37	456
	bool_type.ott	20-Feb-2010 21:37	254
	bool_typing.ott	20-Feb-2010 21:37	543
	common.ott	20-Feb-2010 21:37	1.8K
	common_simple_typing.ott	20-Feb-2010 21:37	356
	common_type.ott	20-Feb-2010 21:37	348
	common_typing.ott	20-Feb-2010 21:37	2.0K
	dynamic.ott	20-Feb-2010 21:37	1.6K
	effect.ott	20-Feb-2010 21:37	829
	effect_masking.ott	20-Feb-2010 21:37	430
	ex1.glob	20-Feb-2010 21:24	343
	ex1.v	20-Feb-2010 21:37	3.2K
	ex1.v.d	20-Feb-2010 21:37	57
	ex1ans.glob	20-Feb-2010 21:24	5.4K
	ex1ans.v	20-Feb-2010 21:37	7.1K
	ex1ans.v.d	20-Feb-2010 21:37	66
	ex2.glob	04-Dec-2009 23:08	2.1K
	ex2.v	20-Feb-2010 21:37	5.5K
	ex2.v.d	20-Feb-2010 21:37	34
	ex2ans.glob	04-Dec-2009 23:08	4.4K
	ex2ans.v	20-Feb-2010 21:37	7.3K
	ex2ans.v.d	20-Feb-2010 21:37	43
	ex3.glob	20-Feb-2010 21:24	4.1K
	ex3.v	20-Feb-2010 21:37	9.7K
	ex3.v.d	20-Feb-2010 21:37	121
	ex3ans.v	30-Nov-2009 00:07	13K
	ex4.glob	20-Feb-2010 21:24	2.4K
	ex4.v	20-Feb-2010 21:37	9.5K
	ex4.v.d	20-Feb-2010 21:37	38
	ex4ans.v	20-Feb-2010 21:37	15K
	ex5.glob	04-Dec-2009 23:13	6.8K
	ex5.v	20-Feb-2010 21:37	8.3K
	ex5ans.v	20-Feb-2010 21:37	12K
	exc.ott	20-Feb-2010 21:37	931
	exc_effect.ott	20-Feb-2010 21:37	356
	fix.ott	20-Feb-2010 21:37	1.4K
	fun.ott	20-Feb-2010 21:37	2.1K
	fun_store.ott	20-Feb-2010 21:37	375
	fun_type.ott	20-Feb-2010 21:37	246
	fun_typing.ott	20-Feb-2010 21:37	459
	html/	31-Aug-2009 19:51	-
	let.ott	20-Feb-2010 21:37	701
	logic.glob	20-Feb-2010 21:24	2.2K
	logic.v	20-Feb-2010 21:37	14K
	logic.v.d	20-Feb-2010 21:37	52
	nat.ott	20-Feb-2010 21:37	1.2K
	nat_alt.ott	20-Feb-2010 21:37	1.2K
	nat_simple_typing.ott	20-Feb-2010 21:37	246
	nat_store.ott	20-Feb-2010 21:37	674
	nat_type.ott	20-Feb-2010 21:37	246
	nat_typing.ott	20-Feb-2010 21:37	286
	natbool.glob	04-Dec-2009 23:08	3.3K
	natbool.v	20-Feb-2010 21:37	9.9K
	natbool.v.d	20-Feb-2010 21:37	35
	notations.glob	20-Feb-2010 21:37	354
	notations.v	20-Feb-2010 21:37	2.9K
	notations.v.d	20-Feb-2010 21:37	53
	notations.vo	20-Feb-2010 21:37	8.5K
	only_dynamic_lang.v	20-Feb-2010 21:37	4.7K
	only_dynamic_lang.v.d	20-Feb-2010 21:37	91
	pair.ott	20-Feb-2010 21:37	1.5K
	paircase_grammar.ott	20-Feb-2010 21:37	195
	poly.glob	04-Dec-2009 23:08	1.3K
	poly.v	20-Feb-2010 21:37	5.2K
	poly.v.d	20-Feb-2010 21:37	39
	por.ott	20-Feb-2010 21:39	775
	por_proj.v	18-May-2010 19:53	3.5K
	por_proj_ans.v	18-May-2010 19:53	7.3K
	record.ott	20-Feb-2010 21:37	1.2K
	ref.ott	20-Feb-2010 21:37	1.6K
	ref_effect.ott	20-Feb-2010 21:37	2.0K
	sf/	19-Nov-2009 14:54	-
	store.ott	20-Feb-2010 21:37	628
	sum.ott	20-Feb-2010 21:37	2.0K
	tactics.glob	20-Feb-2010 21:24	6.7K
	tactics.v	20-Feb-2010 21:37	14K
	tactics.v.d	20-Feb-2010 21:37	79
	tapl_ch3.glob	20-Feb-2010 21:37	10K
	tapl_ch3.v	20-Feb-2010 21:37	16K
	tapl_ch3.v.d	20-Feb-2010 21:37	121
	tapl_ch3.vo	20-Feb-2010 21:37	43K
	tapl_ch8.glob	20-Feb-2010 21:37	8.9K
	tapl_ch8.v	20-Feb-2010 21:37	16K
	tapl_ch8.v.d	20-Feb-2010 21:37	74
	tapl_ch8.vo	20-Feb-2010 21:37	82K
	tapl_ch9.glob	20-Feb-2010 21:37	9.9K
	tapl_ch9.v	20-Feb-2010 21:37	16K
	tapl_ch9.v.d	20-Feb-2010 21:37	89
	tapl_ch9.vo	20-Feb-2010 21:37	104K
	tapl_ch11.glob	20-Feb-2010 21:37	3.8K
	tapl_ch11.v	20-Feb-2010 21:37	2.9K
	tapl_ch11.v.d	20-Feb-2010 21:37	95
	tapl_ch11.vo	20-Feb-2010 21:37	21K
	tapl_ch12.glob	20-Feb-2010 21:37	26K
	tapl_ch12.v	20-Feb-2010 21:37	28K
	tapl_ch12.v.d	20-Feb-2010 21:37	109
	tapl_ch12.vo	20-Feb-2010 21:37	121K
	typed_arith_fix_lang.glob	20-Feb-2010 21:37	17K
	typed_arith_fix_lang.txt	01-Dec-2009 20:57	21K
	typed_arith_fix_lang.v	20-Feb-2010 21:37	10K
	typed_arith_fix_lang.v.d	20-Feb-2010 21:37	100
	typed_arith_fix_lang.vo	20-Feb-2010 21:37	37K
	typed_arith_fix_subst.ott	20-Feb-2010 21:37	676
	typed_arith_fun_lang.v	20-Feb-2010 21:37	9.3K
	typed_arith_fun_lang.v.d	20-Feb-2010 21:37	100
	typed_arith_fun_subst.ott	20-Feb-2010 21:37	1.0K
	typed_arith_lang.glob	20-Feb-2010 21:37	6.6K
	typed_arith_lang.tex	27-Nov-2009 22:33	14K
	typed_arith_lang.txt	01-Dec-2009 20:57	10K
	typed_arith_lang.v	20-Feb-2010 21:37	3.9K
	typed_arith_lang.v.d	20-Feb-2010 21:37	77
	typed_arith_lang.vo	20-Feb-2010 21:37	18K
	typed_arith_ref_lang.v	20-Feb-2010 21:37	12K
	typed_arith_ref_lang.v.d	20-Feb-2010 21:37	100
	typed_base_fun_lang.glob	20-Feb-2010 21:37	7.4K
	typed_base_fun_lang.txt	01-Dec-2009 20:57	11K
	typed_base_fun_lang.v	20-Feb-2010 21:37	6.4K
	typed_base_fun_lang.v.d	20-Feb-2010 21:37	97
	typed_base_fun_lang.vo	20-Feb-2010 21:37	24K
	typed_bool_fun_lang.glob	20-Feb-2010 21:37	11K
	typed_bool_fun_lang.txt	01-Dec-2009 20:57	15K
	typed_bool_fun_lang.v	20-Feb-2010 21:37	7.7K
	typed_bool_fun_lang.v.d	20-Feb-2010 21:37	97
	typed_bool_fun_lang.vo	20-Feb-2010 21:37	29K
	typed_bool_fun_subst.ott	20-Feb-2010 21:37	908
	typed_dynamic_lang.v	20-Feb-2010 21:37	11K
	typed_dynamic_lang.v.d	20-Feb-2010 21:37	94
	typed_dynamic_subst.ott	20-Feb-2010 21:37	1.3K
	typed_effect_lang.v	20-Feb-2010 21:37	11K
	typed_effect_lang.v.d	20-Feb-2010 21:37	91
	typed_fun_subst.ott	20-Feb-2010 21:37	358
	typed_misc_lang.glob	03-Dec-2009 16:51	72K
	typed_misc_lang.v	20-Feb-2010 21:37	35K
	typed_misc_lang.v.d	20-Feb-2010 21:37	85
	typed_misc_subst.ott	20-Feb-2010 21:37	966
	typed_paircase_lang.glob	04-Dec-2009 23:08	12K
	typed_paircase_lang.v	20-Feb-2010 21:37	8.3K
	typed_paircase_lang.v.d	20-Feb-2010 21:37	97
	typed_paircase_subst.ott	20-Feb-2010 21:37	724
	typed_por_lang.glob	20-Feb-2010 21:40	12K
	typed_por_lang.v	20-Feb-2010 21:40	8.3K
	typed_por_lang.v.d	20-Feb-2010 21:40	82
	typed_por_lang.vo	20-Feb-2010 21:40	32K
	typed_por_subst.ott	20-Feb-2010 21:37	967
	typed_ref_lang.v	20-Feb-2010 21:37	8.4K
	typed_ref_lang.v.d	20-Feb-2010 21:37	82
	unit.ott	20-Feb-2010 21:37	433
	untyped_arith_lang.glob	20-Feb-2010 21:37	4.7K
	untyped_arith_lang.tex	27-Nov-2009 22:33	11K
	untyped_arith_lang.txt	01-Dec-2009 20:57	7.7K
	untyped_arith_lang.v	20-Feb-2010 21:37	2.5K
	untyped_arith_lang.v.d	20-Feb-2010 21:37	83
	untyped_arith_lang.vo	20-Feb-2010 21:37	14K
	untyped_bigstep_arith_lang.glob	04-Dec-2009 23:08	8.8K
	untyped_bigstep_arith_lang.txt	01-Dec-2009 20:57	11K
	untyped_bigstep_arith_lang.v	20-Feb-2010 21:37	3.5K
	untyped_bigstep_arith_lang.v.d	20-Feb-2010 21:37	107
	untyped_bool_lang.glob	20-Feb-2010 21:37	1.9K
	untyped_bool_lang.tex	27-Nov-2009 22:33	6.5K
	untyped_bool_lang.txt	01-Dec-2009 20:57	4.6K
	untyped_bool_lang.v	20-Feb-2010 21:37	1.5K
	untyped_bool_lang.v.d	20-Feb-2010 21:37	80
	untyped_bool_lang.vo	20-Feb-2010 21:37	9.4K
	untyped_wrong_arith_lang.glob	04-Dec-2009 23:08	7.4K
	untyped_wrong_arith_lang.txt	01-Dec-2009 20:57	9.9K
	untyped_wrong_arith_lang.v	20-Feb-2010 21:37	3.2K
	untyped_wrong_arith_lang.v.d	20-Feb-2010 21:37	101
	util.glob	20-Feb-2010 21:37	2.3K
	util.v	20-Feb-2010 21:37	10K
	util.v.d	20-Feb-2010 21:37	26
	util.vo	20-Feb-2010 21:37	22K
	var.ott	20-Feb-2010 21:37	578
	variant.ott	20-Feb-2010 21:37	1.5K
	wrong.ott	20-Feb-2010 21:37	862