]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d42779) | patch
we proved that the union of two saturated sets is saturated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 30 Mar 2011 17:33:14 +0000 (17:33 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 30 Mar 2011 17:33:14 +0000 (17:33 +0000)
commiteac90ccb93a94f03df9ba5ad853cbd5d8c60b4f2
treed7fd82ade49237c85b309420663304a0fdbd581ftree | snapshot
parent6d4277977478ef9bcadaffbef3d4bb04ac0250a5commit | diff
we proved that the union of two saturated sets is saturated
matita/matita/lib/lambda/rc_sat.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.