Index of /~mptp/1147/prel/t

	Name	Last modified	Size	Description
	Parent Directory		-
	t_0topsp.dcl	2012-02-17 15:39	1.1K
	t_0topsp.dco	2012-02-17 15:39	3.6K
	t_0topsp.def	2012-02-17 15:39	7.8K
	t_0topsp.dno	2012-02-17 15:39	4.1K
	t_0topsp.the	2012-02-17 15:39	25K
	t_1topsp.dcl	2012-02-17 15:39	1.4K
	t_1topsp.dco	2012-02-17 15:39	3.5K
	t_1topsp.def	2012-02-17 15:39	5.4K
	t_1topsp.dno	2012-02-17 15:39	2.7K
	t_1topsp.the	2012-02-17 15:39	15K
	tarski.dco	2012-02-17 15:39	1.4K
	tarski.def	2012-02-17 15:39	5.3K
	tarski.dno	2012-02-17 15:39	2.3K
	tarski.sch	2012-02-17 15:39	1.3K
	tarski.the	2012-02-17 15:39	12K
	taxonom1.dcl	2012-02-17 15:39	1.5K
	taxonom1.dco	2012-02-17 15:39	4.5K
	taxonom1.def	2012-02-17 15:39	11K
	taxonom1.dno	2012-02-17 15:39	4.6K
	taxonom1.the	2012-02-17 15:39	50K
	taxonom2.dcl	2012-02-17 15:39	2.0K
	taxonom2.dco	2012-02-17 15:39	2.8K
	taxonom2.def	2012-02-17 15:39	6.4K
	taxonom2.dno	2012-02-17 15:39	4.2K
	taxonom2.the	2012-02-17 15:39	28K
	taylor_1.dcl	2012-02-17 15:39	960
	taylor_1.dco	2012-02-17 15:39	3.9K
	taylor_1.def	2012-02-17 15:39	8.0K
	taylor_1.dno	2012-02-17 15:39	4.0K
	taylor_1.the	2012-02-17 15:39	53K
	taylor_2.dco	2012-02-17 15:39	1.2K
	taylor_2.def	2012-02-17 15:39	1.4K
	taylor_2.dno	2012-02-17 15:39	1.4K
	taylor_2.the	2012-02-17 15:39	41K
	tbsp_1.dcl	2012-02-17 15:39	4.3K
	tbsp_1.dco	2012-02-17 15:39	5.2K
	tbsp_1.def	2012-02-17 15:39	11K
	tbsp_1.dno	2012-02-17 15:39	7.1K
	tbsp_1.the	2012-02-17 15:39	40K
	tdgroup.dcl	2012-02-17 15:39	1.7K
	tdgroup.dco	2012-02-17 15:39	2.8K
	tdgroup.def	2012-02-17 15:39	9.7K
	tdgroup.dno	2012-02-17 15:39	4.7K
	tdgroup.the	2012-02-17 15:39	46K
	tdlat_1.dcl	2012-02-17 15:39	1.3K
	tdlat_1.dco	2012-02-17 15:39	6.5K
	tdlat_1.def	2012-02-17 15:39	13K
	tdlat_1.dno	2012-02-17 15:39	5.6K
	tdlat_1.the	2012-02-17 15:39	45K
	tdlat_2.dco	2012-02-17 15:39	2.6K
	tdlat_2.def	2012-02-17 15:39	4.3K
	tdlat_2.dno	2012-02-17 15:39	3.7K
	tdlat_2.the	2012-02-17 15:39	102K
	tdlat_3.dcl	2012-02-17 15:39	8.3K
	tdlat_3.dco	2012-02-17 15:39	1.7K
	tdlat_3.def	2012-02-17 15:39	2.9K
	tdlat_3.dno	2012-02-17 15:39	2.4K
	tdlat_3.the	2012-02-17 15:39	46K
	termord.dcl	2012-02-17 15:39	9.4K
	termord.dco	2012-02-17 15:39	12K
	termord.def	2012-02-17 15:39	15K
	termord.dno	2012-02-17 15:39	12K
	termord.the	2012-02-17 15:39	76K
	tex_1.dcl	2012-02-17 15:39	5.7K
	tex_1.dco	2012-02-17 15:39	1.2K
	tex_1.def	2012-02-17 15:39	3.7K
	tex_1.dno	2012-02-17 15:39	3.3K
	tex_1.the	2012-02-17 15:39	40K
	tex_2.dcl	2012-02-17 15:39	28K
	tex_2.dco	2012-02-17 15:39	2.3K
	tex_2.def	2012-02-17 15:39	5.1K
	tex_2.dno	2012-02-17 15:39	3.4K
	tex_2.sch	2012-02-17 15:39	1.9K
	tex_2.the	2012-02-17 15:39	63K
	tex_3.dcl	2012-02-17 15:39	20K
	tex_3.dco	2012-02-17 15:39	1.8K
	tex_3.def	2012-02-17 15:39	3.2K
	tex_3.dno	2012-02-17 15:39	2.5K
	tex_3.the	2012-02-17 15:39	61K
	tex_4.dcl	2012-02-17 15:39	14K
	tex_4.dco	2012-02-17 15:39	4.3K
	tex_4.def	2012-02-17 15:39	14K
	tex_4.dno	2012-02-17 15:39	8.3K
	tex_4.the	2012-02-17 15:39	87K
	tietze.dcl	2012-02-17 15:39	2.3K
	tietze.dco	2012-02-17 15:39	965
	tietze.def	2012-02-17 15:39	1.4K
	tietze.dno	2012-02-17 15:39	1.4K
	tietze.the	2012-02-17 15:39	43K
	tmap_1.dcl	2012-02-17 15:39	3.6K
	tmap_1.dco	2012-02-17 15:39	9.8K
	tmap_1.def	2012-02-17 15:39	18K
	tmap_1.dno	2012-02-17 15:39	11K
	tmap_1.the	2012-02-17 15:39	281K
	toler_1.dcl	2012-02-17 15:39	1.2K
	toler_1.dco	2012-02-17 15:39	3.3K
	toler_1.def	2012-02-17 15:39	4.3K
	toler_1.dno	2012-02-17 15:39	5.3K
	toler_1.sch	2012-02-17 15:39	2.0K
	toler_1.the	2012-02-17 15:39	35K
	topalg_1.dcl	2012-02-17 15:39	8.9K
	topalg_1.dco	2012-02-17 15:39	6.2K
	topalg_1.def	2012-02-17 15:39	12K
	topalg_1.dno	2012-02-17 15:39	6.9K
	topalg_1.the	2012-02-17 15:39	105K
	topalg_2.dcl	2012-02-17 15:39	10K
	topalg_2.dco	2012-02-17 15:39	5.2K
	topalg_2.def	2012-02-17 15:39	8.0K
	topalg_2.dno	2012-02-17 15:39	5.5K
	topalg_2.the	2012-02-17 15:39	25K
	topalg_3.dcl	2012-02-17 15:39	5.4K
	topalg_3.dco	2012-02-17 15:39	5.8K
	topalg_3.def	2012-02-17 15:39	5.2K
	topalg_3.dno	2012-02-17 15:39	5.0K
	topalg_3.the	2012-02-17 15:39	58K
	topalg_4.dcl	2012-02-17 15:39	7.6K
	topalg_4.dco	2012-02-17 15:39	16K
	topalg_4.def	2012-02-17 15:39	9.7K
	topalg_4.dno	2012-02-17 15:39	13K
	topalg_4.the	2012-02-17 15:39	75K
	topalg_5.dcl	2012-02-17 15:39	7.7K
	topalg_5.dco	2012-02-17 15:39	6.8K
	topalg_5.def	2012-02-17 15:39	9.0K
	topalg_5.dno	2012-02-17 15:39	5.3K
	topalg_5.the	2012-02-17 15:39	49K
	topalg_6.dcl	2012-02-17 15:39	14K
	topalg_6.dco	2012-02-17 15:39	7.7K
	topalg_6.def	2012-02-17 15:39	13K
	topalg_6.dno	2012-02-17 15:39	9.1K
	topalg_6.the	2012-02-17 15:39	77K
	topdim_1.dcl	2012-02-17 15:39	5.8K
	topdim_1.dco	2012-02-17 15:39	3.4K
	topdim_1.def	2012-02-17 15:39	11K
	topdim_1.dno	2012-02-17 15:39	4.3K
	topdim_1.the	2012-02-17 15:39	70K
	topdim_2.dcl	2012-02-17 15:39	5.2K
	topdim_2.dco	2012-02-17 15:39	1.0K
	topdim_2.def	2012-02-17 15:39	2.9K
	topdim_2.dno	2012-02-17 15:39	1.5K
	topdim_2.the	2012-02-17 15:39	38K
	topgen_1.dcl	2012-02-17 15:39	9.0K
	topgen_1.dco	2012-02-17 15:39	5.3K
	topgen_1.def	2012-02-17 15:39	10K
	topgen_1.dno	2012-02-17 15:39	6.1K
	topgen_1.the	2012-02-17 15:39	60K
	topgen_2.dcl	2012-02-17 15:39	2.2K
	topgen_2.dco	2012-02-17 15:39	3.4K
	topgen_2.def	2012-02-17 15:39	5.5K
	topgen_2.dno	2012-02-17 15:39	4.0K
	topgen_2.the	2012-02-17 15:39	47K
	topgen_3.dcl	2012-02-17 15:39	2.0K
	topgen_3.dco	2012-02-17 15:39	3.4K
	topgen_3.def	2012-02-17 15:39	8.3K
	topgen_3.dno	2012-02-17 15:39	3.8K
	topgen_3.sch	2012-02-17 15:39	5.6K
	topgen_3.the	2012-02-17 15:39	52K
	topgen_4.dcl	2012-02-17 15:39	14K
	topgen_4.dco	2012-02-17 15:39	6.9K
	topgen_4.def	2012-02-17 15:39	9.3K
	topgen_4.dno	2012-02-17 15:39	7.8K
	topgen_4.sch	2012-02-17 15:39	817
	topgen_4.the	2012-02-17 15:39	54K
	topgen_5.dcl	2012-02-17 15:39	3.3K
	topgen_5.dco	2012-02-17 15:39	3.6K
	topgen_5.def	2012-02-17 15:39	11K
	topgen_5.dno	2012-02-17 15:39	3.5K
	topgen_5.sch	2012-02-17 15:39	4.9K
	topgen_5.the	2012-02-17 15:39	98K
	topgrp_1.dcl	2012-02-17 15:39	22K
	topgrp_1.dco	2012-02-17 15:39	7.4K
	topgrp_1.def	2012-02-17 15:39	7.8K
	topgrp_1.dno	2012-02-17 15:39	8.3K
	topgrp_1.the	2012-02-17 15:39	60K
	topmetr.dcl	2012-02-17 15:39	3.7K
	topmetr.dco	2012-02-17 15:39	3.7K
	topmetr.def	2012-02-17 15:39	6.0K
	topmetr.dno	2012-02-17 15:39	5.3K
	topmetr.the	2012-02-17 15:39	28K
	topmetr2.the	2012-02-17 15:39	6.0K
	topmetr3.the	2012-02-17 15:39	23K
	topreal1.dcl	2012-02-17 15:39	3.2K
	topreal1.dco	2012-02-17 15:39	5.9K
	topreal1.def	2012-02-17 15:39	16K
	topreal1.dno	2012-02-17 15:39	6.0K
	topreal1.sch	2012-02-17 15:39	3.9K
	topreal1.the	2012-02-17 15:39	60K
	topreal2.dcl	2012-02-17 15:39	1.9K
	topreal2.dco	2012-02-17 15:39	1.5K
	topreal2.def	2012-02-17 15:39	2.4K
	topreal2.dno	2012-02-17 15:39	2.1K
	topreal2.the	2012-02-17 15:39	16K
	topreal3.the	2012-02-17 15:39	55K
	topreal4.dco	2012-02-17 15:39	2.4K
	topreal4.def	2012-02-17 15:39	4.5K
	topreal4.dno	2012-02-17 15:39	2.6K
	topreal4.the	2012-02-17 15:39	72K
	topreal5.dcl	2012-02-17 15:39	1.5K
	topreal5.the	2012-02-17 15:39	23K
	topreal6.dcl	2012-02-17 15:39	7.0K
	topreal6.dco	2012-02-17 15:39	1.6K
	topreal6.def	2012-02-17 15:39	2.2K
	topreal6.dno	2012-02-17 15:39	1.9K
	topreal6.the	2012-02-17 15:39	72K
	topreal7.dcl	2012-02-17 15:39	2.8K
	topreal7.dco	2012-02-17 15:39	2.6K
	topreal7.def	2012-02-17 15:39	3.2K
	topreal7.dno	2012-02-17 15:39	3.5K
	topreal7.the	2012-02-17 15:39	28K
	topreal8.dcl	2012-02-17 15:39	944
	topreal8.the	2012-02-17 15:39	33K
	topreal9.dcl	2012-02-17 15:39	14K
	topreal9.dco	2012-02-17 15:39	4.3K
	topreal9.def	2012-02-17 15:39	6.7K
	topreal9.dno	2012-02-17 15:39	4.6K
	topreal9.the	2012-02-17 15:39	76K
	topreala.dcl	2012-02-17 15:39	11K
	topreala.dco	2012-02-17 15:39	2.4K
	topreala.def	2012-02-17 15:39	3.2K
	topreala.dno	2012-02-17 15:39	2.3K
	topreala.the	2012-02-17 15:39	45K
	toprealb.dcl	2012-02-17 15:39	24K
	toprealb.dco	2012-02-17 15:39	9.8K
	toprealb.def	2012-02-17 15:39	16K
	toprealb.dno	2012-02-17 15:39	6.7K
	toprealb.the	2012-02-17 15:39	55K
	toprealc.dcl	2012-02-17 15:39	52K
	toprealc.dco	2012-02-17 15:39	14K
	toprealc.def	2012-02-17 15:39	7.1K
	toprealc.dno	2012-02-17 15:39	14K
	toprealc.the	2012-02-17 15:39	71K
	toprns_1.dco	2012-02-17 15:39	9.7K
	toprns_1.def	2012-02-17 15:39	13K
	toprns_1.dno	2012-02-17 15:39	11K
	toprns_1.the	2012-02-17 15:39	59K
	tops_1.dcl	2012-02-17 15:39	13K
	tops_1.dco	2012-02-17 15:39	3.6K
	tops_1.def	2012-02-17 15:39	5.0K
	tops_1.dno	2012-02-17 15:39	3.6K
	tops_1.the	2012-02-17 15:39	56K
	tops_2.dcl	2012-02-17 15:39	1.1K
	tops_2.dco	2012-02-17 15:39	3.6K
	tops_2.def	2012-02-17 15:39	5.9K
	tops_2.dno	2012-02-17 15:39	4.6K
	tops_2.the	2012-02-17 15:39	73K
	tops_3.dco	2012-02-17 15:39	970
	tops_3.def	2012-02-17 15:39	3.0K
	tops_3.dno	2012-02-17 15:39	2.8K
	tops_3.the	2012-02-17 15:39	79K
	tops_4.the	2012-02-17 15:39	72K
	transgeo.dcl	2012-02-17 15:39	929
	transgeo.dco	2012-02-17 15:39	14K
	transgeo.def	2012-02-17 15:39	17K
	transgeo.dno	2012-02-17 15:39	12K
	transgeo.sch	2012-02-17 15:39	2.8K
	transgeo.the	2012-02-17 15:39	158K
	translac.dco	2012-02-17 15:39	1.0K
	translac.def	2012-02-17 15:39	1.8K
	translac.dno	2012-02-17 15:39	1.3K
	translac.the	2012-02-17 15:39	26K
	treal_1.dco	2012-02-17 15:39	3.9K
	treal_1.def	2012-02-17 15:39	6.1K
	treal_1.dno	2012-02-17 15:39	3.5K
	treal_1.the	2012-02-17 15:39	37K
	trees_1.dcl	2012-02-17 15:39	4.0K
	trees_1.dco	2012-02-17 15:39	4.4K
	trees_1.def	2012-02-17 15:39	13K
	trees_1.dno	2012-02-17 15:39	7.5K
	trees_1.sch	2012-02-17 15:39	1.3K
	trees_1.the	2012-02-17 15:39	47K
	trees_2.dcl	2012-02-17 15:39	5.5K
	trees_2.dco	2012-02-17 15:39	5.2K
	trees_2.def	2012-02-17 15:39	10K
	trees_2.dno	2012-02-17 15:39	8.5K
	trees_2.sch	2012-02-17 15:39	15K
	trees_2.the	2012-02-17 15:39	40K
	trees_3.dcl	2012-02-17 15:39	18K
	trees_3.dco	2012-02-17 15:39	9.0K
	trees_3.def	2012-02-17 15:39	14K
	trees_3.dno	2012-02-17 15:39	12K
	trees_3.the	2012-02-17 15:39	77K
	trees_4.dcl	2012-02-17 15:39	4.1K
	trees_4.dco	2012-02-17 15:39	4.5K
	trees_4.def	2012-02-17 15:39	9.6K
	trees_4.dno	2012-02-17 15:39	6.7K
	trees_4.sch	2012-02-17 15:39	2.0K
	trees_4.the	2012-02-17 15:39	43K
	trees_9.dcl	2012-02-17 15:39	6.9K
	trees_9.dco	2012-02-17 15:39	8.2K
	trees_9.def	2012-02-17 15:39	11K
	trees_9.dno	2012-02-17 15:39	8.7K
	trees_9.sch	2012-02-17 15:39	4.9K
	trees_9.the	2012-02-17 15:39	50K
	trees_a.dcl	2012-02-17 15:39	783
	trees_a.dco	2012-02-17 15:39	2.6K
	trees_a.def	2012-02-17 15:39	6.2K
	trees_a.dno	2012-02-17 15:39	3.2K
	trees_a.the	2012-02-17 15:39	27K
	triang_1.dcl	2012-02-17 15:39	5.3K
	triang_1.dco	2012-02-17 15:39	5.8K
	triang_1.def	2012-02-17 15:39	9.8K
	triang_1.dno	2012-02-17 15:39	8.2K
	triang_1.the	2012-02-17 15:39	19K
	tsep_1.dcl	2012-02-17 15:39	1.2K
	tsep_1.dco	2012-02-17 15:39	3.3K
	tsep_1.def	2012-02-17 15:39	5.7K
	tsep_1.dno	2012-02-17 15:39	7.2K
	tsep_1.the	2012-02-17 15:39	127K
	tsep_2.dco	2012-02-17 15:39	2.4K
	tsep_2.def	2012-02-17 15:39	2.2K
	tsep_2.dno	2012-02-17 15:39	3.7K
	tsep_2.the	2012-02-17 15:39	51K
	tsp_1.dcl	2012-02-17 15:39	6.6K
	tsp_1.dco	2012-02-17 15:39	1.5K
	tsp_1.def	2012-02-17 15:39	19K
	tsp_1.dno	2012-02-17 15:39	6.7K
	tsp_1.the	2012-02-17 15:39	46K
	tsp_2.dcl	2012-02-17 15:39	5.4K
	tsp_2.dco	2012-02-17 15:39	2.0K
	tsp_2.def	2012-02-17 15:39	13K
	tsp_2.dno	2012-02-17 15:39	6.4K
	tsp_2.the	2012-02-17 15:39	54K
	turing_1.dcl	2012-02-17 15:39	1.2K
	turing_1.dco	2012-02-17 15:39	28K
	turing_1.def	2012-02-17 15:39	69K
	turing_1.dno	2012-02-17 15:39	25K
	turing_1.the	2012-02-17 15:39	152K
	twoscomp.dco	2012-02-17 15:39	20K
	twoscomp.def	2012-02-17 15:39	39K
	twoscomp.dno	2012-02-17 15:39	10K
	twoscomp.the	2012-02-17 15:39	119K