Skip to main content

Browse the archive

Revision 4a656895671f3eaee5bc4013e91da97bdf8838e0 authored by François Dupressoir on 01 December 2015, 20:51:59 UTC, committed by François Dupressoir on 01 December 2015, 20:51:59 UTC 
NewLogic: add lemmas for negation of existentials.
 
This is so we can stop using 'the other ones'.
1 parent 42a4a3b
History
File Mode Size
algebra
analysis
core
crypto
datatypes
distributions
encryption
newth
oldlibs
prelude
structure
tactics
back to top