]>
author | Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it> | |
Fri, 2 Feb 2018 20:17:13 +0000 (21:17 +0100) | ||
committer | Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it> | |
Fri, 2 Feb 2018 20:17:13 +0000 (21:17 +0100) | ||
commit | c9b2cad6a92aedba63318319169d057251b2d138 | |
tree | 5e396a07967fe9861a3e51652ab7f0844ccf9366 | tree | snapshot |
parent | 4ea53eb93717cb1bcd6a0ccb7b1a4d711c1c7a9b | commit | diff |
matita/components/binaries/xoa/lib.ml | diff | blob | history | |
matita/components/binaries/xoa/xoa.ml | diff | blob | history |