Index of /~bailitis/bachelor/Coq_undec

	Name	Last modified	Size	Description
	Parent Directory		-
	Undecidability.CFG.C..>	2024-08-19 02:01	22K
	Undecidability.CFG.C..>	2024-08-19 02:01	4.9K
	Undecidability.CFG.C..>	2024-08-19 02:01	16K
	Undecidability.CFG.C..>	2024-08-19 02:01	4.6K
	Undecidability.CFG.R..>	2024-08-19 02:01	8.4K
	Undecidability.CFG.R..>	2024-08-19 02:01	142K
	Undecidability.CFG.R..>	2024-08-19 02:01	66K
	Undecidability.CFG.R..>	2024-08-19 02:01	30K
	Undecidability.CFG.U..>	2024-08-19 02:01	26K
	Undecidability.Count..>	2024-08-19 02:01	17K
	Undecidability.Count..>	2024-08-19 02:01	3.7K
	Undecidability.Count..>	2024-08-19 02:01	5.4K
	Undecidability.Count..>	2024-08-19 02:01	263K
	Undecidability.Count..>	2024-08-19 02:01	105K
	Undecidability.Dioph..>	2024-08-19 02:01	39K
	Undecidability.Dioph..>	2024-08-19 02:01	17K
	Undecidability.Dioph..>	2024-08-19 02:01	75K
	Undecidability.Dioph..>	2024-08-19 02:01	60K
	Undecidability.Dioph..>	2024-08-19 02:01	88K
	Undecidability.Dioph..>	2024-08-19 02:01	46K
	Undecidability.Dioph..>	2024-08-19 02:01	142K
	Undecidability.Dioph..>	2024-08-19 02:01	60K
	Undecidability.FOL.A..>	2024-08-19 02:01	85K
	Undecidability.FOL.A..>	2024-08-19 02:01	30K
	Undecidability.FOL.A..>	2024-08-19 02:01	23K
	Undecidability.FOL.A..>	2024-08-19 02:01	11K
	Undecidability.FOL.A..>	2024-08-19 02:01	9.0K
	Undecidability.FOL.A..>	2024-08-19 02:01	46K
	Undecidability.FOL.A..>	2024-08-19 02:01	60K
	Undecidability.FOL.D..>	2024-08-19 02:01	30K
	Undecidability.FOL.D..>	2024-08-19 02:01	9.4K
	Undecidability.FOL.D..>	2024-08-19 02:01	346K
	Undecidability.FOL.D..>	2024-08-19 02:01	46K
	Undecidability.FOL.D..>	2024-08-19 02:01	8.4K
	Undecidability.FOL.D..>	2024-08-19 02:01	398K
	Undecidability.FOL.F..>	2024-08-19 02:01	14K
	Undecidability.FOL.F..>	2024-08-19 02:01	14K
	Undecidability.FOL.F..>	2024-08-19 02:01	7.2K
	Undecidability.FOL.F..>	2024-08-19 02:01	40K
	Undecidability.FOL.F..>	2024-08-19 02:01	12K
	Undecidability.FOL.F..>	2024-08-19 02:01	21K
	Undecidability.FOL.F..>	2024-08-19 02:01	21K
	Undecidability.FOL.P..>	2024-08-19 02:01	14K
	Undecidability.FOL.P..>	2024-08-19 02:01	6.9K
	Undecidability.FOL.R..>	2024-08-19 02:01	11K
	Undecidability.FOL.R..>	2024-08-19 02:01	162K
	Undecidability.FOL.R..>	2024-08-19 02:01	584K
	Undecidability.FOL.R..>	2024-08-19 02:01	223K
	Undecidability.FOL.R..>	2024-08-19 02:01	330K
	Undecidability.FOL.R..>	2024-08-19 02:01	27K
	Undecidability.FOL.R..>	2024-08-19 02:01	647K
	Undecidability.FOL.R..>	2024-08-19 02:01	135K
	Undecidability.FOL.R..>	2024-08-19 02:01	140K
	Undecidability.FOL.R..>	2024-08-19 02:01	114K
	Undecidability.FOL.R..>	2024-08-19 02:01	31K
	Undecidability.FOL.R..>	2024-08-19 02:01	415K
	Undecidability.FOL.R..>	2024-08-19 02:01	290K
	Undecidability.FOL.R..>	2024-08-19 02:01	322K
	Undecidability.FOL.R..>	2024-08-19 02:01	278K
	Undecidability.FOL.R..>	2024-08-19 02:01	341K
	Undecidability.FOL.R..>	2024-08-19 02:01	294K
	Undecidability.FOL.R..>	2024-08-19 02:01	331K
	Undecidability.FOL.R..>	2024-08-19 02:01	219K
	Undecidability.FOL.R..>	2024-08-19 02:01	645K
	Undecidability.FOL.R..>	2024-08-19 02:01	632K
	Undecidability.FOL.R..>	2024-08-19 02:01	136K
	Undecidability.FOL.R..>	2024-08-19 02:01	46K
	Undecidability.FOL.R..>	2024-08-19 02:01	65K
	Undecidability.FOL.R..>	2024-08-19 02:01	11K
	Undecidability.FOL.R..>	2024-08-19 02:01	57K
	Undecidability.FOL.S..>	2024-08-19 02:01	171K
	Undecidability.FOL.S..>	2024-08-19 02:01	23K
	Undecidability.FOL.S..>	2024-08-19 02:01	24K
	Undecidability.FOL.S..>	2024-08-19 02:01	24K
	Undecidability.FOL.S..>	2024-08-19 02:01	96K
	Undecidability.FOL.S..>	2024-08-19 02:01	71K
	Undecidability.FOL.S..>	2024-08-19 02:01	15K
	Undecidability.FOL.S..>	2024-08-19 02:01	44K
	Undecidability.FOL.S..>	2024-08-19 02:01	166K
	Undecidability.FOL.S..>	2024-08-19 02:01	31K
	Undecidability.FOL.S..>	2024-08-19 02:01	33K
	Undecidability.FOL.S..>	2024-08-19 02:01	89K
	Undecidability.FOL.S..>	2024-08-19 02:01	65K
	Undecidability.FOL.S..>	2024-08-19 02:01	37K
	Undecidability.FOL.S..>	2024-08-19 02:01	145K
	Undecidability.FOL.S..>	2024-08-19 02:01	113K
	Undecidability.FOL.S..>	2024-08-19 02:01	132K
	Undecidability.FOL.S..>	2024-08-19 02:01	149K
	Undecidability.FOL.S..>	2024-08-19 02:01	203K
	Undecidability.FOL.S..>	2024-08-19 02:01	190K
	Undecidability.FOL.S..>	2024-08-19 02:01	230K
	Undecidability.FOL.S..>	2024-08-19 02:01	13K
	Undecidability.FOL.S..>	2024-08-19 02:01	65K
	Undecidability.FOL.S..>	2024-08-19 02:01	24K
	Undecidability.FOL.S..>	2024-08-19 02:01	43K
	Undecidability.FOL.S..>	2024-08-19 02:01	67K
	Undecidability.FOL.S..>	2024-08-19 02:01	149K
	Undecidability.FOL.S..>	2024-08-19 02:01	4.4K
	Undecidability.FOL.S..>	2024-08-19 02:01	173K
	Undecidability.FOL.S..>	2024-08-19 02:01	100K
	Undecidability.FOL.S..>	2024-08-19 02:01	136K
	Undecidability.FOL.S..>	2024-08-19 02:01	2.0K
	Undecidability.FOL.S..>	2024-08-19 02:01	111K
	Undecidability.FOL.S..>	2024-08-19 02:01	106K
	Undecidability.FOL.S..>	2024-08-19 02:01	71K
	Undecidability.FOL.T..>	2024-08-19 02:01	276K
	Undecidability.FOL.T..>	2024-08-19 02:01	78K
	Undecidability.FOL.T..>	2024-08-19 02:01	65K
	Undecidability.FOL.T..>	2024-08-19 02:01	198K
	Undecidability.FOL.T..>	2024-08-19 02:01	136K
	Undecidability.FOL.T..>	2024-08-19 02:01	49K
	Undecidability.FOL.T..>	2024-08-19 02:01	262K
	Undecidability.FOL.T..>	2024-08-19 02:01	188K
	Undecidability.FOL.T..>	2024-08-19 02:01	12K
	Undecidability.FOL.T..>	2024-08-19 02:01	55K
	Undecidability.FOL.T..>	2024-08-19 02:01	38K
	Undecidability.FOL.T..>	2024-08-19 02:01	68K
	Undecidability.FOL.T..>	2024-08-19 02:01	73K
	Undecidability.FOL.T..>	2024-08-19 02:01	121K
	Undecidability.FOL.T..>	2024-08-19 02:01	60K
	Undecidability.FOL.T..>	2024-08-19 02:01	195K
	Undecidability.FOL.T..>	2024-08-19 02:01	94K
	Undecidability.FOL.T..>	2024-08-19 02:01	61K
	Undecidability.FOL.T..>	2024-08-19 02:01	50K
	Undecidability.FOL.T..>	2024-08-19 02:01	120K
	Undecidability.FOL.T..>	2024-08-19 02:01	27K
	Undecidability.FOL.T..>	2024-08-19 02:01	482K
	Undecidability.FOL.T..>	2024-08-19 02:01	154K
	Undecidability.FOL.T..>	2024-08-19 02:01	56K
	Undecidability.FOL.T..>	2024-08-19 02:01	273K
	Undecidability.FOL.T..>	2024-08-19 02:01	206K
	Undecidability.FOL.T..>	2024-08-19 02:01	156K
	Undecidability.FOL.T..>	2024-08-19 02:01	177K
	Undecidability.FOL.T..>	2024-08-19 02:01	46K
	Undecidability.FOL.T..>	2024-08-19 02:01	331K
	Undecidability.FOL.T..>	2024-08-19 02:01	25K
	Undecidability.FOL.T..>	2024-08-19 02:01	132K
	Undecidability.FOL.T..>	2024-08-19 02:01	27K
	Undecidability.FOL.T..>	2024-08-19 02:01	142K
	Undecidability.FOL.T..>	2024-08-19 02:01	72K
	Undecidability.FOL.T..>	2024-08-19 02:01	89K
	Undecidability.FOL.T..>	2024-08-19 02:01	228K
	Undecidability.FOL.T..>	2024-08-19 02:01	284K
	Undecidability.FOL.T..>	2024-08-19 02:01	23K
	Undecidability.FOL.T..>	2024-08-19 02:01	118K
	Undecidability.FOL.T..>	2024-08-19 02:01	111K
	Undecidability.FOL.T..>	2024-08-19 02:01	17K
	Undecidability.FOL.T..>	2024-08-19 02:01	18K
	Undecidability.FOL.T..>	2024-08-19 02:01	176K
	Undecidability.FOL.T..>	2024-08-19 02:01	43K
	Undecidability.FOL.U..>	2024-08-19 02:01	3.1K
	Undecidability.FOL.U..>	2024-08-19 02:01	116K
	Undecidability.FOL.U..>	2024-08-19 02:01	86K
	Undecidability.FOL.U..>	2024-08-19 02:01	2.5K
	Undecidability.FOL.Z..>	2024-08-19 02:01	50K
	Undecidability.FOL.Z..>	2024-08-19 02:01	83K
	Undecidability.FOL.b..>	2024-08-19 02:01	10K
	Undecidability.FOL.b..>	2024-08-19 02:01	6.3K
	Undecidability.FOL.b..>	2024-08-19 02:01	14K
	Undecidability.FOL.m..>	2024-08-19 02:01	32K
	Undecidability.FOL.m..>	2024-08-19 02:01	88K
	Undecidability.FRACT..>	2024-08-19 02:01	175K
	Undecidability.FRACT..>	2024-08-19 02:01	193K
	Undecidability.FRACT..>	2024-08-19 02:01	47K
	Undecidability.FRACT..>	2024-08-19 02:01	256K
	Undecidability.FRACT..>	2024-08-19 02:01	3.3K
	Undecidability.FRACT..>	2024-08-19 02:01	5.2K
	Undecidability.FRACT..>	2024-08-19 02:01	5.8K
	Undecidability.FRACT..>	2024-08-19 02:01	22K
	Undecidability.FRACT..>	2024-08-19 02:01	25K
	Undecidability.FRACT..>	2024-08-19 02:01	27K
	Undecidability.FRACT..>	2024-08-19 02:01	27K
	Undecidability.FRACT..>	2024-08-19 02:01	162K
	Undecidability.H10.A..>	2024-08-19 02:01	471K
	Undecidability.H10.A..>	2024-08-19 02:01	312K
	Undecidability.H10.A..>	2024-08-19 02:01	206K
	Undecidability.H10.A..>	2024-08-19 02:01	148K
	Undecidability.H10.D..>	2024-08-19 02:01	99K
	Undecidability.H10.D..>	2024-08-19 02:01	74K
	Undecidability.H10.D..>	2024-08-19 02:01	177K
	Undecidability.H10.D..>	2024-08-19 02:01	37K
	Undecidability.H10.D..>	2024-08-19 02:01	275K
	Undecidability.H10.D..>	2024-08-19 02:01	37K
	Undecidability.H10.D..>	2024-08-19 02:01	323K
	Undecidability.H10.D..>	2024-08-19 02:01	30K
	Undecidability.H10.D..>	2024-08-19 02:01	219K
	Undecidability.H10.F..>	2024-08-19 02:01	21K
	Undecidability.H10.F..>	2024-08-19 02:01	77K
	Undecidability.H10.H..>	2024-08-19 02:01	13K
	Undecidability.H10.H..>	2024-08-19 02:01	45K
	Undecidability.H10.H..>	2024-08-19 02:01	73K
	Undecidability.H10.H..>	2024-08-19 02:01	17K
	Undecidability.H10.H..>	2024-08-19 02:01	12K
	Undecidability.H10.H..>	2024-08-19 02:01	3.6K
	Undecidability.H10.M..>	2024-08-19 02:01	608K
	Undecidability.H10.M..>	2024-08-19 02:01	1.0M
	Undecidability.H10.M..>	2024-08-19 02:01	79K
	Undecidability.H10.R..>	2024-08-19 02:01	30K
	Undecidability.H10.R..>	2024-08-19 02:01	24K
	Undecidability.H10.U..>	2024-08-19 02:01	9.5K
	Undecidability.HOU.a..>	2024-08-19 02:01	5.0K
	Undecidability.HOU.c..>	2024-08-19 02:01	2.8K
	Undecidability.HOU.c..>	2024-08-19 02:01	39K
	Undecidability.HOU.c..>	2024-08-19 02:01	95K
	Undecidability.HOU.c..>	2024-08-19 02:01	27K
	Undecidability.HOU.c..>	2024-08-19 02:01	72K
	Undecidability.HOU.c..>	2024-08-19 02:01	140K
	Undecidability.HOU.c..>	2024-08-19 02:01	89K
	Undecidability.HOU.c..>	2024-08-19 02:01	106K
	Undecidability.HOU.c..>	2024-08-19 02:01	97K
	Undecidability.HOU.c..>	2024-08-19 02:01	152K
	Undecidability.HOU.c..>	2024-08-19 02:01	351K
	Undecidability.HOU.c..>	2024-08-19 02:01	55K
	Undecidability.HOU.c..>	2024-08-19 02:01	209K
	Undecidability.HOU.c..>	2024-08-19 02:01	5.5K
	Undecidability.HOU.c..>	2024-08-19 02:01	138K
	Undecidability.HOU.c..>	2024-08-19 02:01	242K
	Undecidability.HOU.c..>	2024-08-19 02:01	23K
	Undecidability.HOU.f..>	2024-08-19 02:01	508K
	Undecidability.HOU.s..>	2024-08-19 02:01	27K
	Undecidability.HOU.s..>	2024-08-19 02:01	160K
	Undecidability.HOU.s..>	2024-08-19 02:01	90K
	Undecidability.HOU.s..>	2024-08-19 02:01	278K
	Undecidability.HOU.s..>	2024-08-19 02:01	33K
	Undecidability.HOU.s..>	2024-08-19 02:01	155K
	Undecidability.HOU.s..>	2024-08-19 02:01	175K
	Undecidability.HOU.s..>	2024-08-19 02:01	59K
	Undecidability.HOU.s..>	2024-08-19 02:01	79K
	Undecidability.HOU.s..>	2024-08-19 02:01	73K
	Undecidability.HOU.s..>	2024-08-19 02:01	65K
	Undecidability.HOU.s..>	2024-08-19 02:01	5.3K
	Undecidability.HOU.s..>	2024-08-19 02:01	47K
	Undecidability.HOU.s..>	2024-08-19 02:01	94K
	Undecidability.HOU.s..>	2024-08-19 02:01	148K
	Undecidability.HOU.s..>	2024-08-19 02:01	94K
	Undecidability.HOU.s..>	2024-08-19 02:01	29K
	Undecidability.HOU.s..>	2024-08-19 02:01	25K
	Undecidability.HOU.s..>	2024-08-19 02:01	12K
	Undecidability.HOU.s..>	2024-08-19 02:01	24K
	Undecidability.HOU.s..>	2024-08-19 02:01	5.3K
	Undecidability.HOU.s..>	2024-08-19 02:01	14K
	Undecidability.HOU.t..>	2024-08-19 02:01	170K
	Undecidability.HOU.t..>	2024-08-19 02:01	126K
	Undecidability.HOU.t..>	2024-08-19 02:01	36K
	Undecidability.HOU.t..>	2024-08-19 02:01	48K
	Undecidability.HOU.u..>	2024-08-19 02:01	65K
	Undecidability.HOU.u..>	2024-08-19 02:01	164K
	Undecidability.HOU.u..>	2024-08-19 02:01	143K
	Undecidability.HOU.u..>	2024-08-19 02:01	1.9K
	Undecidability.HOU.u..>	2024-08-19 02:01	59K
	Undecidability.Hilbe..>	2024-08-19 02:01	16K
	Undecidability.Hilbe..>	2024-08-19 02:01	5.6K
	Undecidability.Hilbe..>	2024-08-19 02:01	147K
	Undecidability.Hilbe..>	2024-08-19 02:01	234K
	Undecidability.Hilbe..>	2024-08-19 02:01	43K
	Undecidability.ILL.C..>	2024-08-19 02:01	197K
	Undecidability.ILL.C..>	2024-08-19 02:01	4.9K
	Undecidability.ILL.E..>	2024-08-19 02:01	38K
	Undecidability.ILL.I..>	2024-08-19 02:01	179K
	Undecidability.ILL.I..>	2024-08-19 02:01	15K
	Undecidability.ILL.I..>	2024-08-19 02:01	60K
	Undecidability.ILL.I..>	2024-08-19 02:01	7.3K
	Undecidability.ILL.L..>	2024-08-19 02:01	155K
	Undecidability.ILL.L..>	2024-08-19 02:01	175K
	Undecidability.ILL.L..>	2024-08-19 02:01	150K
	Undecidability.ILL.L..>	2024-08-19 02:01	52K
	Undecidability.ILL.L..>	2024-08-19 02:01	46K
	Undecidability.ILL.L..>	2024-08-19 02:01	129K
	Undecidability.ILL.L..>	2024-08-19 02:01	120K
	Undecidability.ILL.R..>	2024-08-19 02:01	6.8K
	Undecidability.ILL.R..>	2024-08-19 02:01	20K
	Undecidability.ILL.R..>	2024-08-19 02:01	5.5K
	Undecidability.ILL.R..>	2024-08-19 02:01	11K
	Undecidability.ILL.R..>	2024-08-19 02:01	6.8K
	Undecidability.ILL.R..>	2024-08-19 02:01	190K
	Undecidability.Inter..>	2024-08-19 02:01	23K
	Undecidability.Inter..>	2024-08-19 02:01	6.8K
	Undecidability.Inter..>	2024-08-19 02:01	26K
	Undecidability.Inter..>	2024-08-19 02:01	202K
	Undecidability.Inter..>	2024-08-19 02:01	474K
	Undecidability.Inter..>	2024-08-19 02:01	98K
	Undecidability.Inter..>	2024-08-19 02:01	69K
	Undecidability.Inter..>	2024-08-19 02:01	63K
	Undecidability.Inter..>	2024-08-19 02:01	31K
	Undecidability.L.Abs..>	2024-08-19 02:01	283K
	Undecidability.L.Com..>	2024-08-19 02:01	40K
	Undecidability.L.Com..>	2024-08-19 02:01	30K
	Undecidability.L.Com..>	2024-08-19 02:01	38K
	Undecidability.L.Com..>	2024-08-19 02:01	13K
	Undecidability.L.Com..>	2024-08-19 02:01	72K
	Undecidability.L.Com..>	2024-08-19 02:01	39K
	Undecidability.L.Com..>	2024-08-19 02:01	96K
	Undecidability.L.Com..>	2024-08-19 02:01	34K
	Undecidability.L.Com..>	2024-08-19 02:01	72K
	Undecidability.L.Com..>	2024-08-19 02:01	110K
	Undecidability.L.Dat..>	2024-08-19 02:01	9.4K
	Undecidability.L.Dat..>	2024-08-19 02:01	12K
	Undecidability.L.Dat..>	2024-08-19 02:01	28K
	Undecidability.L.Dat..>	2024-08-19 02:01	22K
	Undecidability.L.Dat..>	2024-08-19 02:01	24K
	Undecidability.L.Dat..>	2024-08-19 02:01	25K
	Undecidability.L.Dat..>	2024-08-19 02:01	4.8K
	Undecidability.L.Dat..>	2024-08-19 02:01	2.6K
	Undecidability.L.Dat..>	2024-08-19 02:01	32K
	Undecidability.L.Dat..>	2024-08-19 02:01	11K
	Undecidability.L.Dat..>	2024-08-19 02:01	5.1K
	Undecidability.L.Dat..>	2024-08-19 02:01	22K
	Undecidability.L.Dat..>	2024-08-19 02:01	10K
	Undecidability.L.Dat..>	2024-08-19 02:01	20K
	Undecidability.L.Dat..>	2024-08-19 02:01	5.5K
	Undecidability.L.Dat..>	2024-08-19 02:01	2.2K
	Undecidability.L.Enu..>	2024-08-19 02:01	12K
	Undecidability.L.Enu..>	2024-08-19 02:01	17K
	Undecidability.L.Fun..>	2024-08-19 02:01	5.7K
	Undecidability.L.Fun..>	2024-08-19 02:01	13K
	Undecidability.L.Fun..>	2024-08-19 02:01	21K
	Undecidability.L.Fun..>	2024-08-19 02:01	9.7K
	Undecidability.L.Fun..>	2024-08-19 02:01	45K
	Undecidability.L.Fun..>	2024-08-19 02:01	18K
	Undecidability.L.Fun..>	2024-08-19 02:01	19K
	Undecidability.L.Fun..>	2024-08-19 02:01	2.7K
	Undecidability.L.L.html	2024-08-19 02:01	30K
	Undecidability.L.L_e..>	2024-08-19 02:01	2.9K
	Undecidability.L.L_u..>	2024-08-19 02:01	4.3K
	Undecidability.L.Pre..>	2024-08-19 02:01	115K
	Undecidability.L.Red..>	2024-08-19 02:01	99K
	Undecidability.L.Red..>	2024-08-19 02:01	7.8K
	Undecidability.L.Red..>	2024-08-19 02:01	302K
	Undecidability.L.Red..>	2024-08-19 02:01	38K
	Undecidability.L.Red..>	2024-08-19 02:01	4.3K
	Undecidability.L.Red..>	2024-08-19 02:01	76K
	Undecidability.L.Red..>	2024-08-19 02:01	13K
	Undecidability.L.TM...>	2024-08-19 02:01	29K
	Undecidability.L.TM...>	2024-08-19 02:01	24K
	Undecidability.L.TM...>	2024-08-19 02:01	26K
	Undecidability.L.TM...>	2024-08-19 02:01	16K
	Undecidability.L.Tac..>	2024-08-19 02:01	98K
	Undecidability.L.Tac..>	2024-08-19 02:01	71K
	Undecidability.L.Tac..>	2024-08-19 02:01	176K
	Undecidability.L.Tac..>	2024-08-19 02:01	56K
	Undecidability.L.Tac..>	2024-08-19 02:01	130K
	Undecidability.L.Tac..>	2024-08-19 02:01	2.4K
	Undecidability.L.Tac..>	2024-08-19 02:01	54K
	Undecidability.L.Tac..>	2024-08-19 02:01	43K
	Undecidability.L.Tac..>	2024-08-19 02:01	23K
	Undecidability.L.Tac..>	2024-08-19 02:01	92K
	Undecidability.L.Tac..>	2024-08-19 02:01	23K
	Undecidability.L.Tac..>	2024-08-19 02:01	192K
	Undecidability.L.Uti..>	2024-08-19 02:01	89K
	Undecidability.L.Uti..>	2024-08-19 02:01	209K
	Undecidability.L.Uti..>	2024-08-19 02:01	50K
	Undecidability.Lambd..>	2024-08-19 02:01	19K
	Undecidability.Lambd..>	2024-08-19 02:01	6.7K
	Undecidability.Lambd..>	2024-08-19 02:01	32K
	Undecidability.Lambd..>	2024-08-19 02:01	6.3K
	Undecidability.Lambd..>	2024-08-19 02:01	168K
	Undecidability.Lambd..>	2024-08-19 02:01	252K
	Undecidability.Lambd..>	2024-08-19 02:01	26K
	Undecidability.Lambd..>	2024-08-19 02:01	129K
	Undecidability.Lambd..>	2024-08-19 02:01	252K
	Undecidability.Lambd..>	2024-08-19 02:01	38K
	Undecidability.Minsk..>	2024-08-19 02:01	582K
	Undecidability.Minsk..>	2024-08-19 02:01	73K
	Undecidability.Minsk..>	2024-08-19 02:01	510K
	Undecidability.Minsk..>	2024-08-19 02:01	70K
	Undecidability.Minsk..>	2024-08-19 02:01	138K
	Undecidability.Minsk..>	2024-08-19 02:01	346K
	Undecidability.Minsk..>	2024-08-19 02:01	59K
	Undecidability.Minsk..>	2024-08-19 02:01	136K
	Undecidability.Minsk..>	2024-08-19 02:01	137K
	Undecidability.Minsk..>	2024-08-19 02:01	158K
	Undecidability.Minsk..>	2024-08-19 02:01	297K
	Undecidability.Minsk..>	2024-08-19 02:01	333K
	Undecidability.Minsk..>	2024-08-19 02:01	73K
	Undecidability.Minsk..>	2024-08-19 02:01	7.1K
	Undecidability.Minsk..>	2024-08-19 02:01	6.8K
	Undecidability.Minsk..>	2024-08-19 02:01	51K
	Undecidability.Minsk..>	2024-08-19 02:01	222K
	Undecidability.Minsk..>	2024-08-19 02:01	39K
	Undecidability.Minsk..>	2024-08-19 02:01	18K
	Undecidability.Minsk..>	2024-08-19 02:01	130K
	Undecidability.Minsk..>	2024-08-19 02:01	109K
	Undecidability.Minsk..>	2024-08-19 02:01	66K
	Undecidability.Minsk..>	2024-08-19 02:01	500K
	Undecidability.Minsk..>	2024-08-19 02:01	195K
	Undecidability.Minsk..>	2024-08-19 02:01	5.2K
	Undecidability.Minsk..>	2024-08-19 02:01	3.4K
	Undecidability.Minsk..>	2024-08-19 02:01	4.8K
	Undecidability.Minsk..>	2024-08-19 02:01	27K
	Undecidability.Minsk..>	2024-08-19 02:01	140K
	Undecidability.Minsk..>	2024-08-19 02:01	254K
	Undecidability.Minsk..>	2024-08-19 02:01	5.0K
	Undecidability.Minsk..>	2024-08-19 02:01	14K
	Undecidability.Minsk..>	2024-08-19 02:01	480K
	Undecidability.Minsk..>	2024-08-19 02:01	8.4K
	Undecidability.Minsk..>	2024-08-19 02:01	9.7K
	Undecidability.Minsk..>	2024-08-19 02:01	7.4K
	Undecidability.Minsk..>	2024-08-19 02:01	505K
	Undecidability.Minsk..>	2024-08-19 02:01	838K
	Undecidability.Minsk..>	2024-08-19 02:01	5.6K
	Undecidability.Minsk..>	2024-08-19 02:01	75K
	Undecidability.Minsk..>	2024-08-19 02:01	100K
	Undecidability.Minsk..>	2024-08-19 02:01	121K
	Undecidability.Minsk..>	2024-08-19 02:01	5.9K
	Undecidability.Minsk..>	2024-08-19 02:01	123K
	Undecidability.Minsk..>	2024-08-19 02:01	9.2K
	Undecidability.Minsk..>	2024-08-19 02:01	277K
	Undecidability.Minsk..>	2024-08-19 02:01	19K
	Undecidability.Minsk..>	2024-08-19 02:01	8.6K
	Undecidability.Minsk..>	2024-08-19 02:01	6.6K
	Undecidability.Minsk..>	2024-08-19 02:01	5.7K
	Undecidability.Minsk..>	2024-08-19 02:01	133K
	Undecidability.Minsk..>	2024-08-19 02:01	23K
	Undecidability.Minsk..>	2024-08-19 02:01	323K
	Undecidability.Minsk..>	2024-08-19 02:01	20K
	Undecidability.Minsk..>	2024-08-19 02:01	95K
	Undecidability.Minsk..>	2024-08-19 02:01	43K
	Undecidability.Minsk..>	2024-08-19 02:01	9.3K
	Undecidability.Minsk..>	2024-08-19 02:01	3.5K
	Undecidability.MuRec..>	2024-08-19 02:01	48K
	Undecidability.MuRec..>	2024-08-19 02:01	3.6K
	Undecidability.MuRec..>	2024-08-19 02:01	39K
	Undecidability.MuRec..>	2024-08-19 02:01	11K
	Undecidability.MuRec..>	2024-08-19 02:01	11K
	Undecidability.MuRec..>	2024-08-19 02:01	14K
	Undecidability.MuRec..>	2024-08-19 02:01	6.8K
	Undecidability.MuRec..>	2024-08-19 02:01	3.6K
	Undecidability.MuRec..>	2024-08-19 02:01	12K
	Undecidability.MuRec..>	2024-08-19 02:01	93K
	Undecidability.MuRec..>	2024-08-19 02:01	37K
	Undecidability.MuRec..>	2024-08-19 02:01	35K
	Undecidability.MuRec..>	2024-08-19 02:01	162K
	Undecidability.MuRec..>	2024-08-19 02:01	152K
	Undecidability.MuRec..>	2024-08-19 02:01	66K
	Undecidability.MuRec..>	2024-08-19 02:01	36K
	Undecidability.MuRec..>	2024-08-19 02:01	143K
	Undecidability.MuRec..>	2024-08-19 02:01	695K
	Undecidability.MuRec..>	2024-08-19 02:01	99K
	Undecidability.MuRec..>	2024-08-19 02:01	51K
	Undecidability.MuRec..>	2024-08-19 02:01	21K
	Undecidability.MuRec..>	2024-08-19 02:01	161K
	Undecidability.MuRec..>	2024-08-19 02:01	180K
	Undecidability.MuRec..>	2024-08-19 02:01	386K
	Undecidability.MuRec..>	2024-08-19 02:01	238K
	Undecidability.MuRec..>	2024-08-19 02:01	68K
	Undecidability.MuRec..>	2024-08-19 02:01	21K
	Undecidability.PCP.P..>	2024-08-19 02:01	46K
	Undecidability.PCP.P..>	2024-08-19 02:01	17K
	Undecidability.PCP.R..>	2024-08-19 02:01	4.5K
	Undecidability.PCP.R..>	2024-08-19 02:01	14K
	Undecidability.PCP.R..>	2024-08-19 02:01	4.3K
	Undecidability.PCP.R..>	2024-08-19 02:01	38K
	Undecidability.PCP.R..>	2024-08-19 02:01	133K
	Undecidability.PCP.R..>	2024-08-19 02:01	22K
	Undecidability.PCP.R..>	2024-08-19 02:01	52K
	Undecidability.PCP.R..>	2024-08-19 02:01	6.6K
	Undecidability.PCP.R..>	2024-08-19 02:01	5.3K
	Undecidability.PCP.R..>	2024-08-19 02:01	34K
	Undecidability.PCP.R..>	2024-08-19 02:01	79K
	Undecidability.PCP.U..>	2024-08-19 02:01	83K
	Undecidability.PCP.U..>	2024-08-19 02:01	185K
	Undecidability.Polyn..>	2024-08-19 02:01	20K
	Undecidability.Polyn..>	2024-08-19 02:01	3.7K
	Undecidability.Polyn..>	2024-08-19 02:01	67K
	Undecidability.SOL.P..>	2024-08-19 02:01	48K
	Undecidability.SOL.P..>	2024-08-19 02:01	5.3K
	Undecidability.SOL.R..>	2024-08-19 02:01	124K
	Undecidability.SOL.S..>	2024-08-19 02:01	93K
	Undecidability.SOL.S..>	2024-08-19 02:01	4.7K
	Undecidability.SOL.U..>	2024-08-19 02:01	236K
	Undecidability.SOL.U..>	2024-08-19 02:01	292K
	Undecidability.SOL.U..>	2024-08-19 02:01	70K
	Undecidability.SOL.U..>	2024-08-19 02:01	302K
	Undecidability.SOL.U..>	2024-08-19 02:01	217K
	Undecidability.SemiU..>	2024-08-19 02:01	224K
	Undecidability.SemiU..>	2024-08-19 02:01	13K
	Undecidability.SemiU..>	2024-08-19 02:01	5.1K
	Undecidability.SemiU..>	2024-08-19 02:01	60K
	Undecidability.SemiU..>	2024-08-19 02:01	8.4K
	Undecidability.SemiU..>	2024-08-19 02:01	56K
	Undecidability.SemiU..>	2024-08-19 02:01	33K
	Undecidability.SemiU..>	2024-08-19 02:01	7.7K
	Undecidability.SemiU..>	2024-08-19 02:01	29K
	Undecidability.Separ..>	2024-08-19 02:01	28K
	Undecidability.Separ..>	2024-08-19 02:01	3.4K
	Undecidability.Separ..>	2024-08-19 02:01	268K
	Undecidability.Separ..>	2024-08-19 02:01	17K
	Undecidability.Separ..>	2024-08-19 02:01	33K
	Undecidability.Separ..>	2024-08-19 02:01	3.2K
	Undecidability.SetCo..>	2024-08-19 02:01	14K
	Undecidability.SetCo..>	2024-08-19 02:01	3.7K
	Undecidability.SetCo..>	2024-08-19 02:01	413K
	Undecidability.SetCo..>	2024-08-19 02:01	23K
	Undecidability.Share..>	2024-08-19 02:01	32K
	Undecidability.Share..>	2024-08-19 02:01	103K
	Undecidability.Share..>	2024-08-19 02:01	228K
	Undecidability.Share..>	2024-08-19 02:01	433K
	Undecidability.Share..>	2024-08-19 02:01	128K
	Undecidability.Share..>	2024-08-19 02:01	54K
	Undecidability.Share..>	2024-08-19 02:01	264K
	Undecidability.Share..>	2024-08-19 02:01	714K
	Undecidability.Share..>	2024-08-19 02:01	82K
	Undecidability.Share..>	2024-08-19 02:01	110K
	Undecidability.Share..>	2024-08-19 02:01	125K
	Undecidability.Share..>	2024-08-19 02:01	107K
	Undecidability.Share..>	2024-08-19 02:01	95K
	Undecidability.Share..>	2024-08-19 02:01	46K
	Undecidability.Share..>	2024-08-19 02:01	114K
	Undecidability.Share..>	2024-08-19 02:01	55K
	Undecidability.Share..>	2024-08-19 02:01	3.0K
	Undecidability.Share..>	2024-08-19 02:01	31K
	Undecidability.Share..>	2024-08-19 02:01	439K
	Undecidability.Share..>	2024-08-19 02:01	115K
	Undecidability.Share..>	2024-08-19 02:01	44K
	Undecidability.Share..>	2024-08-19 02:01	108K
	Undecidability.Share..>	2024-08-19 02:01	28K
	Undecidability.Share..>	2024-08-19 02:01	205K
	Undecidability.Share..>	2024-08-19 02:01	138K
	Undecidability.Share..>	2024-08-19 02:01	170K
	Undecidability.Share..>	2024-08-19 02:01	106K
	Undecidability.Share..>	2024-08-19 02:01	144K
	Undecidability.Share..>	2024-08-19 02:01	150K
	Undecidability.Share..>	2024-08-19 02:01	214K
	Undecidability.Share..>	2024-08-19 02:01	296K
	Undecidability.Share..>	2024-08-19 02:01	2.4K
	Undecidability.Share..>	2024-08-19 02:01	99K
	Undecidability.Share..>	2024-08-19 02:01	460K
	Undecidability.Share..>	2024-08-19 02:01	280K
	Undecidability.Share..>	2024-08-19 02:01	18K
	Undecidability.Share..>	2024-08-19 02:01	69K
	Undecidability.Share..>	2024-08-19 02:01	159K
	Undecidability.Share..>	2024-08-19 02:01	383K
	Undecidability.Share..>	2024-08-19 02:01	17K
	Undecidability.Share..>	2024-08-19 02:01	69K
	Undecidability.Share..>	2024-08-19 02:01	72K
	Undecidability.Share..>	2024-08-19 02:01	34K
	Undecidability.Share..>	2024-08-19 02:01	42K
	Undecidability.Share..>	2024-08-19 02:01	1.9K
	Undecidability.Share..>	2024-08-19 02:01	35K
	Undecidability.Share..>	2024-08-19 02:01	9.4K
	Undecidability.Share..>	2024-08-19 02:01	33K
	Undecidability.Share..>	2024-08-19 02:01	14K
	Undecidability.Share..>	2024-08-19 02:01	44K
	Undecidability.Share..>	2024-08-19 02:01	18K
	Undecidability.Share..>	2024-08-19 02:01	60K
	Undecidability.Share..>	2024-08-19 02:01	12K
	Undecidability.Share..>	2024-08-19 02:01	17K
	Undecidability.Share..>	2024-08-19 02:01	2.3K
	Undecidability.Share..>	2024-08-19 02:01	27K
	Undecidability.Share..>	2024-08-19 02:01	5.7K
	Undecidability.Share..>	2024-08-19 02:01	15K
	Undecidability.Share..>	2024-08-19 02:01	4.0K
	Undecidability.Share..>	2024-08-19 02:01	19K
	Undecidability.Share..>	2024-08-19 02:01	46K
	Undecidability.Share..>	2024-08-19 02:01	15K
	Undecidability.Share..>	2024-08-19 02:01	41K
	Undecidability.Share..>	2024-08-19 02:01	43K
	Undecidability.Stack..>	2024-08-19 02:01	192K
	Undecidability.Stack..>	2024-08-19 02:01	70K
	Undecidability.Stack..>	2024-08-19 02:01	191K
	Undecidability.Stack..>	2024-08-19 02:01	959K
	Undecidability.Stack..>	2024-08-19 02:01	86K
	Undecidability.Stack..>	2024-08-19 02:01	12K
	Undecidability.Stack..>	2024-08-19 02:01	3.7K
	Undecidability.Stack..>	2024-08-19 02:01	1.8M
	Undecidability.Stack..>	2024-08-19 02:01	26K
	Undecidability.Stack..>	2024-08-19 02:01	100K
	Undecidability.Stack..>	2024-08-19 02:01	284K
	Undecidability.Stack..>	2024-08-19 02:01	4.4K
	Undecidability.Stack..>	2024-08-19 02:01	7.5K
	Undecidability.Stack..>	2024-08-19 02:01	157K
	Undecidability.Stack..>	2024-08-19 02:01	56K
	Undecidability.Stack..>	2024-08-19 02:01	786K
	Undecidability.Stack..>	2024-08-19 02:01	25K
	Undecidability.Stack..>	2024-08-19 02:01	33K
	Undecidability.Stack..>	2024-08-19 02:01	3.4K
	Undecidability.Stack..>	2024-08-19 02:01	30K
	Undecidability.Stack..>	2024-08-19 02:01	3.5K
	Undecidability.Stack..>	2024-08-19 02:01	31K
	Undecidability.Stack..>	2024-08-19 02:01	97K
	Undecidability.Stack..>	2024-08-19 02:01	371K
	Undecidability.Stack..>	2024-08-19 02:01	31K
	Undecidability.Stack..>	2024-08-19 02:01	82K
	Undecidability.Stack..>	2024-08-19 02:01	43K
	Undecidability.Stack..>	2024-08-19 02:01	144K
	Undecidability.Stack..>	2024-08-19 02:01	576K
	Undecidability.Strin..>	2024-08-19 02:01	14K
	Undecidability.Strin..>	2024-08-19 02:01	3.6K
	Undecidability.Strin..>	2024-08-19 02:01	3.8K
	Undecidability.Strin..>	2024-08-19 02:01	819K
	Undecidability.Strin..>	2024-08-19 02:01	201K
	Undecidability.Strin..>	2024-08-19 02:01	78K
	Undecidability.Strin..>	2024-08-19 02:01	81K
	Undecidability.Strin..>	2024-08-19 02:01	20K
	Undecidability.Strin..>	2024-08-19 02:01	5.0K
	Undecidability.Strin..>	2024-08-19 02:01	14K
	Undecidability.Strin..>	2024-08-19 02:01	3.6K
	Undecidability.Strin..>	2024-08-19 02:01	57K
	Undecidability.Synth..>	2024-08-19 02:01	60K
	Undecidability.Synth..>	2024-08-19 02:01	23K
	Undecidability.Synth..>	2024-08-19 02:01	160K
	Undecidability.Synth..>	2024-08-19 02:01	95K
	Undecidability.Synth..>	2024-08-19 02:01	12K
	Undecidability.Synth..>	2024-08-19 02:01	21K
	Undecidability.Synth..>	2024-08-19 02:01	114K
	Undecidability.Synth..>	2024-08-19 02:01	18K
	Undecidability.Synth..>	2024-08-19 02:01	40K
	Undecidability.Synth..>	2024-08-19 02:01	38K
	Undecidability.Synth..>	2024-08-19 02:01	23K
	Undecidability.Synth..>	2024-08-19 02:01	6.4K
	Undecidability.Synth..>	2024-08-19 02:01	14K
	Undecidability.Syste..>	2024-08-19 02:01	876K
	Undecidability.Syste..>	2024-08-19 02:01	72K
	Undecidability.Syste..>	2024-08-19 02:01	676K
	Undecidability.Syste..>	2024-08-19 02:01	5.2K
	Undecidability.Syste..>	2024-08-19 02:01	3.8K
	Undecidability.Syste..>	2024-08-19 02:01	5.7K
	Undecidability.Syste..>	2024-08-19 02:01	167K
	Undecidability.Syste..>	2024-08-19 02:01	23K
	Undecidability.Syste..>	2024-08-19 02:01	37K
	Undecidability.Syste..>	2024-08-19 02:01	6.7K
	Undecidability.Syste..>	2024-08-19 02:01	38K
	Undecidability.Syste..>	2024-08-19 02:01	64K
	Undecidability.Syste..>	2024-08-19 02:01	249K
	Undecidability.Syste..>	2024-08-19 02:01	28K
	Undecidability.Syste..>	2024-08-19 02:01	429K
	Undecidability.Syste..>	2024-08-19 02:01	403K
	Undecidability.Syste..>	2024-08-19 02:01	166K
	Undecidability.Syste..>	2024-08-19 02:01	65K
	Undecidability.Syste..>	2024-08-19 02:01	109K
	Undecidability.Syste..>	2024-08-19 02:01	152K
	Undecidability.TM.Ba..>	2024-08-19 02:01	82K
	Undecidability.TM.Co..>	2024-08-19 02:01	41K
	Undecidability.TM.Co..>	2024-08-19 02:01	51K
	Undecidability.TM.Co..>	2024-08-19 02:01	51K
	Undecidability.TM.Co..>	2024-08-19 02:01	63K
	Undecidability.TM.Co..>	2024-08-19 02:01	37K
	Undecidability.TM.Co..>	2024-08-19 02:01	224K
	Undecidability.TM.Co..>	2024-08-19 02:01	139K
	Undecidability.TM.Co..>	2024-08-19 02:01	159K
	Undecidability.TM.Co..>	2024-08-19 02:01	236K
	Undecidability.TM.Co..>	2024-08-19 02:01	16K
	Undecidability.TM.Co..>	2024-08-19 02:01	135K
	Undecidability.TM.Co..>	2024-08-19 02:01	47K
	Undecidability.TM.Co..>	2024-08-19 02:01	43K
	Undecidability.TM.En..>	2024-08-19 02:01	42K
	Undecidability.TM.KO..>	2024-08-19 02:01	543K
	Undecidability.TM.KO..>	2024-08-19 02:01	77K
	Undecidability.TM.KO..>	2024-08-19 02:01	40K
	Undecidability.TM.PC..>	2024-08-19 02:01	25K
	Undecidability.TM.PC..>	2024-08-19 02:01	78K
	Undecidability.TM.PC..>	2024-08-19 02:01	162K
	Undecidability.TM.Re..>	2024-08-19 02:01	455K
	Undecidability.TM.Re..>	2024-08-19 02:01	5.5K
	Undecidability.TM.Re..>	2024-08-19 02:01	218K
	Undecidability.TM.Re..>	2024-08-19 02:01	26K
	Undecidability.TM.Re..>	2024-08-19 02:01	5.3K
	Undecidability.TM.Re..>	2024-08-19 02:01	121K
	Undecidability.TM.Re..>	2024-08-19 02:01	5.1K
	Undecidability.TM.Re..>	2024-08-19 02:01	247K
	Undecidability.TM.Re..>	2024-08-19 02:01	98K
	Undecidability.TM.Re..>	2024-08-19 02:01	6.7K
	Undecidability.TM.Re..>	2024-08-19 02:01	59K
	Undecidability.TM.SB..>	2024-08-19 02:01	39K
	Undecidability.TM.SB..>	2024-08-19 02:01	2.9K
	Undecidability.TM.SB..>	2024-08-19 02:01	6.2K
	Undecidability.TM.Si..>	2024-08-19 02:01	35K
	Undecidability.TM.Si..>	2024-08-19 02:01	1.1M
	Undecidability.TM.TM..>	2024-08-19 02:01	69K
	Undecidability.TM.TM..>	2024-08-19 02:01	5.4K
	Undecidability.TM.UT..>	2024-08-19 02:01	6.9K
	Undecidability.TM.UT..>	2024-08-19 02:01	3.6K
	Undecidability.TM.Ut..>	2024-08-19 02:01	89K
	Undecidability.TM.Ut..>	2024-08-19 02:01	74K
	Undecidability.TM.Ut..>	2024-08-19 02:01	82K
	Undecidability.TM.Ut..>	2024-08-19 02:01	28K
	Undecidability.TM.Ut..>	2024-08-19 02:01	369K
	config.js	2024-08-19 02:01	1.2K
	coqdoc.css	2024-08-19 02:01	3.0K
	coqdocjs.css	2024-08-19 02:01	3.1K
	coqdocjs.js	2024-08-19 02:01	5.6K
	indexpage.html	2024-08-19 02:01	8.8M
	resources/	2024-08-19 02:01	-
	toc.html	2024-08-19 02:01	6.7K