Redo PMP's patch to rewriting to make it purely functional using state passing.
Add interface function to replace new_Type ()
Don't set global variables from a hidden file. (!)
Using the generic timeout function in the boostrapped file.
Some basics facts about eq_dep.
Added a (constructive) proof of Weak Konig's lemma for decidable trees.
Renamed Fan.v into WeakFan.v since this was a proof of Weak Fan Theorem
after all.