Index of /~monin/Proof/BalWord

	Name	Last modified	Size	Description
	Parent Directory		-
	main.ml	2006-09-15 19:57	11K
	ijcar06_submitted.pdf	2007-04-27 10:43	224K
	extraction.v	2006-09-01 18:28	143
	exo_inter.v	2006-09-01 18:29	3.0K
	exo_induc_fct.v	2006-09-01 18:29	5.4K
	depend.ps	2007-04-27 10:43	11K
	coq.depend.ps	2006-09-16 01:43	12K
	balword.tar.gz	2006-09-16 09:29	14K
	analysis.ml	2006-09-12 08:00	3.4K
	WordsContinuity.v	2006-09-01 16:54	2.2K
	Words.v	2006-09-01 16:54	3.6K
	Other.v	2006-08-31 20:21	1.4K
	MoreZArith.v	2006-03-08 12:59	480
	MoreArith.v	2006-03-08 12:59	415
	Makefile.perf	2006-09-15 20:42	3.0K
	Makefile.gplot	2006-09-15 16:15	2.2K
	Makefile	2006-09-16 09:29	1.3K
	GenericTactics.v	2006-09-01 16:54	7.2K
	Correctness.v	2006-03-08 12:59	797
	BalancedWords.v	2006-08-31 18:32	1.0K
	00_paper.pdf	2006-09-16 09:28	282K
	00_README	2006-09-16 09:18	613