]> matita.cs.unibo.it Git - helm.git/commit
we uncommented R3 and R4 tu be used in lambda-delta
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Apr 2011 15:24:48 +0000 (15:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Apr 2011 15:24:48 +0000 (15:24 +0000)
commit92b9fb7c477eb1b0dbf5d921555d9a0295d0e46d
treed99136509b4836c92f632709c79b488cc852f646
parent05959b8deaafaf3aa4ae59296da9c0fbf36c0feb
we uncommented R3 and R4 tu be used in lambda-delta
matita/matita/lib/basics/logic.ma