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