GitXplorerGitXplorer
w

jrwlib

public
0 stars
0 forks
0 issues

Commits

List of commits on branch master.
Unverified
7a211306c926d79d201cfa4563773ae2f32fe642

check in contents of Tactics.v

wwilcoxjay committed 9 years ago
Unverified
e1fcaa422074bb7142c35088d60c1ee81dad0019

add Makefile and _CoqProject

wwilcoxjay committed 9 years ago
Unverified
b199cd39d7009bcd89bfda35a71647d40c426e57

alists and signatures

wwilcoxjay committed 9 years ago
Unverified
d6666ea016545d0d69eafc3f64d87832e2f2c8b4

initial commit - tactics and list lemmas

wwilcoxjay committed 9 years ago
Unverified
3be1594d8232f729c1a6a0778ab04acd2d47a0f2

gitignore

wwilcoxjay committed 9 years ago