| 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 | ||