projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 21 Apr 2009 13:03:55 +0000 (13:03 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 21 Apr 2009 13:03:55 +0000 (13:03 +0000) | ||
| commit | bdbe077ddb0b377823b6806adc8bece82130c992 | |
| tree | 80356d9880a386463ce9862947938a5e2c4bf67f | tree | snapshot |
| parent | 7cb22a7f8107a6cde0b77b7879e04f586a347102 | commit | diff |
| helm/software/components/tactics/auto.ml | diff | blob | history | |
| helm/software/matita/library/demo/propositional_sequent_calculus.ma | diff | blob | history |