9

dir
109
http://svn.gna.org/svn/geoproof/trunk/atp
http://svn.gna.org/svn/geoproof



2007-06-26T12:33:05.776396Z
76
jnarboux


svn:special svn:externals svn:needs-lock











30785b90-cc07-0410-b14e-c8b1d7bfd205

order.ml
file




2006-08-24T14:30:59.000000Z
23348d3f077e5b38e557ee65a742d102
2005-12-13T12:09:49.831847Z
4
jnarboux

fol.ml
file




2006-08-24T14:30:59.000000Z
1aaca46252b11ae415202ce084e0f798
2005-12-13T12:09:49.831847Z
4
jnarboux

prop.ml
file




2006-08-24T14:30:59.000000Z
ba7f6984aba44082e5bf7dd89e9276e6
2005-12-13T12:09:49.831847Z
4
jnarboux

OCamlMakefile
file




2006-08-24T14:30:59.000000Z
1769c1fff9f25d2727549da613b266c2
2005-12-13T12:09:49.831847Z
4
jnarboux

README
file




2006-08-24T14:30:59.000000Z
7bbba4cfe3d0392174d5172fb1c00192
2005-12-13T12:09:49.831847Z
4
jnarboux

cooper.ml
file




2006-08-24T14:30:59.000000Z
91c37c719d48453d3506dfb78f8376e3
2005-12-13T12:09:49.831847Z
4
jnarboux

geom.ml
file




2012-10-22T07:19:39.000000Z
a9bcb8e515331edb93cb21487aba5435
2007-06-26T12:33:05.776396Z
76
jnarboux





















12919

formulas.ml
file




2006-08-24T14:30:59.000000Z
de663d3dfdda280b9918a3cb142e9990
2005-12-13T12:09:49.831847Z
4
jnarboux

LICENSE.txt
file




2006-08-24T14:30:59.000000Z
feeade0490e3ab80ac2f16d99b1e7780
2005-12-13T12:09:49.831847Z
4
jnarboux

Makefile.odoc
file




2006-08-24T14:30:59.000000Z
1209759242df86a6ff3f638b23e756c3
2005-12-13T12:09:49.831847Z
4
jnarboux

intro.ml
file




2006-08-24T14:30:59.000000Z
bcb9e29bbd530d6e4462fb587cfe9d23
2005-12-13T12:09:49.831847Z
4
jnarboux

grobner.ml
file




2006-08-24T14:30:59.000000Z
c7eac6cc2c3591dd90dea1198cb235dc
2005-12-13T12:09:49.831847Z
4
jnarboux

atp.dot
file




2006-08-24T14:30:59.000000Z
56b1549f5ee064aaf5722c0469ad222b
2005-12-13T12:09:49.831847Z
4
jnarboux

Makefile
file




2006-08-24T14:30:59.000000Z
c42af51156fc621bcb8c577106e0ec65
2005-12-13T12:09:49.831847Z
4
jnarboux

lib.ml
file




2006-08-24T14:30:59.000000Z
32ec56b6fc460bb0b52706262337eb77
2005-12-13T12:09:49.831847Z
4
jnarboux

