![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| FixSub.v | 28-May-2009 15:05 | 4.2K | |
| FunctionalExtensionality.v | 28-May-2009 15:05 | 1.3K | |
| Heq.v | 28-May-2009 15:05 | 823 | |
| Subtac.v | 28-May-2009 15:05 | 66 | |
| SubtacTactics.v | 28-May-2009 15:05 | 4.9K | |
| Utils.v | 28-May-2009 15:05 | 1.9K | |
| eterm.ml | 28-May-2009 15:05 | 6.2K | |
| eterm.mli | 28-May-2009 15:05 | 1.2K | |
| g_eterm.ml4 | 28-May-2009 15:05 | 1.3K | |
| g_subtac.ml4 | 28-May-2009 15:05 | 5.3K | |
| subtac.ml | 28-May-2009 15:05 | 6.2K | |
| subtac.mli | 28-May-2009 15:05 | 92 | |
| subtac_cases.ml | 28-May-2009 15:05 | 83K | |
| subtac_cases.mli | 28-May-2009 15:05 | 793 | |
| subtac_coercion.ml | 28-May-2009 15:05 | 19K | |
| subtac_coercion.mli | 28-May-2009 15:05 | 29 | |
| subtac_command.ml | 28-May-2009 15:05 | 16K | |
| subtac_command.mli | 28-May-2009 15:05 | 893 | |
| subtac_errors.ml | 28-May-2009 15:05 | 654 | |
| subtac_errors.mli | 28-May-2009 15:05 | 631 | |
| subtac_obligations.ml | 28-May-2009 15:05 | 14K | |
| subtac_obligations.mli | 28-May-2009 15:05 | 1.2K | |
| subtac_pretyping.ml | 28-May-2009 15:05 | 5.4K | |
| subtac_pretyping.mli | 28-May-2009 15:05 | 381 | |
| subtac_pretyping_F.ml | 28-May-2009 15:05 | 22K | |
| subtac_utils.ml | 28-May-2009 15:05 | 14K | |
| subtac_utils.mli | 28-May-2009 15:05 | 4.2K | |