projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 8 Jan 2012 15:52:10 +0000 (15:52 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 8 Jan 2012 15:52:10 +0000 (15:52 +0000) | ||
| commit | 0f5da967971b81ad7adc9fb1fedb9b2f24ca3ccf | |
| tree | 90f26fa1dec8c04614b39c042089179bab00f1ac | tree | snapshot |
| parent | b8a14a6fab91a49325c4a9cea1ca1e6cd19c2d8f | commit | diff |
| matita/matita/predefined_virtuals.ml | diff | blob | history |