Index of /xml/BellLabs/lazyPCF/OpSem/typecheck

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:12	735
	TC.ind.types.xml.gz	2004-04-08 18:41	198
	TC.ind.xml.gz	2004-04-08 18:41	2.4K
	TC_ind.con.body.xml.gz	2004-04-08 18:41	6.8K
	TC_ind.con.types.xml.gz	2004-04-08 18:41	7.4K
	TC_ind.con.xml.gz	2004-04-08 18:41	3.4K
	TC_tc.con.body.xml.gz	2004-04-08 18:41	4.9K
	TC_tc.con.types.xml.gz	2004-04-08 18:41	6.2K
	TC_tc.con.xml.gz	2004-04-08 18:41	497
	inv_TC_abs.con.body.xml.gz	2004-04-08 18:41	652
	inv_TC_abs.con.types.xml.gz	2004-04-08 18:41	1.3K
	inv_TC_abs.con.xml.gz	2004-04-08 18:41	939
	inv_TC_appl.con.body.xml.gz	2004-04-08 18:41	626
	inv_TC_appl.con.types.xml.gz	2004-04-08 18:41	1.0K
	inv_TC_appl.con.xml.gz	2004-04-08 18:41	731
	inv_TC_clos.con.body.xml.gz	2004-04-08 18:41	690
	inv_TC_clos.con.types.xml.gz	2004-04-08 18:41	1.1K
	inv_TC_clos.con.xml.gz	2004-04-08 18:41	851
	inv_TC_cond.con.body.xml.gz	2004-04-08 18:41	654
	inv_TC_cond.con.types.xml.gz	2004-04-08 18:41	949
	inv_TC_cond.con.xml.gz	2004-04-08 18:41	706
	inv_TC_fff.con.body.xml.gz	2004-04-08 18:41	535
	inv_TC_fff.con.types.xml.gz	2004-04-08 18:41	638
	inv_TC_fff.con.xml.gz	2004-04-08 18:41	512
	inv_TC_fix.con.body.xml.gz	2004-04-08 18:41	662
	inv_TC_fix.con.types.xml.gz	2004-04-08 18:41	1.1K
	inv_TC_fix.con.xml.gz	2004-04-08 18:41	826
	inv_TC_is_o.con.body.xml.gz	2004-04-08 18:41	590
	inv_TC_is_o.con.types.xml.gz	2004-04-08 18:41	809
	inv_TC_is_o.con.xml.gz	2004-04-08 18:41	619
	inv_TC_o.con.body.xml.gz	2004-04-08 18:41	531
	inv_TC_o.con.types.xml.gz	2004-04-08 18:41	632
	inv_TC_o.con.xml.gz	2004-04-08 18:41	506
	inv_TC_prd.con.body.xml.gz	2004-04-08 18:41	588
	inv_TC_prd.con.types.xml.gz	2004-04-08 18:41	805
	inv_TC_prd.con.xml.gz	2004-04-08 18:41	614
	inv_TC_succ.con.body.xml.gz	2004-04-08 18:41	590
	inv_TC_succ.con.types.xml.gz	2004-04-08 18:41	806
	inv_TC_succ.con.xml.gz	2004-04-08 18:41	616
	inv_TC_ttt.con.body.xml.gz	2004-04-08 18:41	535
	inv_TC_ttt.con.types.xml.gz	2004-04-08 18:41	636
	inv_TC_ttt.con.xml.gz	2004-04-08 18:41	509
	inv_TC_var.con.body.xml.gz	2004-04-08 18:41	591
	inv_TC_var.con.types.xml.gz	2004-04-08 18:41	691
	inv_TC_var.con.xml.gz	2004-04-08 18:41	551
	tc.con.body.xml.gz	2004-04-08 18:41	2.2K
	tc.con.types.xml.gz	2004-04-08 18:41	198
	tc.con.xml.gz	2004-04-08 18:41	349