Skip to main content

Browse the archive

Revision c35ae8fc6e9a9214ada60632e8cdeb84047867e0 authored by Pierre-Yves Strub on 04 December 2015, 11:34:49 UTC, committed by Pierre-Yves Strub on 04 December 2015, 11:36:27 UTC 
Better lemmas clearing strategy.
 
+ update stdlib w.r.t. this new strategy.
1 parent 999775a
History
File Mode Size
algebra
analysis
core
crypto
datatypes
distributions
encryption
newth
oldlibs
phl
prelude
structure
tactics
back to top