![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 00_README | 16-Sep-2006 09:18 | 613 | |
| 00_paper.pdf | 16-Sep-2006 09:28 | 282K | |
| BalancedWords.v | 31-Aug-2006 18:32 | 1.0K | |
| Correctness.v | 08-Mar-2006 12:59 | 797 | |
| GenericTactics.v | 01-Sep-2006 16:54 | 7.2K | |
| Makefile | 16-Sep-2006 09:29 | 1.3K | |
| Makefile.gplot | 15-Sep-2006 16:15 | 2.2K | |
| Makefile.perf | 15-Sep-2006 20:42 | 3.0K | |
| MoreArith.v | 08-Mar-2006 12:59 | 415 | |
| MoreZArith.v | 08-Mar-2006 12:59 | 480 | |
| Other.v | 31-Aug-2006 20:21 | 1.4K | |
| Words.v | 01-Sep-2006 16:54 | 3.6K | |
| WordsContinuity.v | 01-Sep-2006 16:54 | 2.2K | |
| analysis.ml | 12-Sep-2006 08:00 | 3.4K | |
| balword.tar.gz | 16-Sep-2006 09:29 | 14K | |
| coq.depend.ps | 16-Sep-2006 01:43 | 12K | |
| depend.ps | 27-Apr-2007 10:43 | 11K | |
| exo_induc_fct.v | 01-Sep-2006 18:29 | 5.4K | |
| exo_inter.v | 01-Sep-2006 18:29 | 3.0K | |
| extraction.v | 01-Sep-2006 18:28 | 143 | |
| ijcar06_submitted.pdf | 27-Apr-2007 10:43 | 224K | |
| main.ml | 15-Sep-2006 19:57 | 11K | |