Skip to content
GitLab
Explore
Sign in
clean-and-itasks
clm
Repository
clm
Sparkle
Tools
Sections
tautology.sec
Find file
Blame
History
Permalink
Renamed theorem "not_not" to "remove_double_negation" to prevent naming...
· aac4df35
Maarten de Mol
authored
Oct 15, 2003
Renamed theorem "not_not" to "remove_double_negation" to prevent naming conflicts with section ints.
aac4df35