]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 29 Nov 2010 11:02:56 +0000 (11:02 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 29 Nov 2010 11:02:56 +0000 (11:02 +0000) | ||
commit | 37809db7d682ba90ee874b62aee056190d3d5446 | |
tree | 37422467d28391a4ec976240a5cce1848afae457 | tree | snapshot |
parent | 73b49101cb8f83bc54fd2dc3c862b42c00ad13b5 | commit | diff |
matita/components/ng_refiner/nCicRefiner.ml | diff | blob | history |