]>
author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
Tue, 7 Jun 2011 14:52:30 +0000 (14:52 +0000) | ||
committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
Tue, 7 Jun 2011 14:52:30 +0000 (14:52 +0000) | ||
commit | c9f62ea7b8b3a77048c7d1f78c3d430110b0745a | |
tree | 1459bf0949368709e3858eb692bf5000ac5457a9 | tree | snapshot |
parent | 7f28a5e47bd10355fee4332fe77bbfcca15f39d6 | commit | diff |
matitaB/components/ng_tactics/nCicElim.ml | diff | blob | history |