# # ChangeLog for Deliverables/D4.1/Matita/root # # Generated by Trac 1.2 # Jan 27, 2021, 10:47:48 AM Tue, 23 Nov 2010 13:30:10 GMT sacerdot [260] * Deliverables/D4.1/Matita/ASM.ma (modified) * Deliverables/D4.1/Matita/Arithmetic.ma (modified) * Deliverables/D4.1/Matita/BitVector.ma (modified) * Deliverables/D4.1/Matita/BitVectorTrie.ma (modified) * Deliverables/D4.1/Matita/Bool.ma (modified) * Deliverables/D4.1/Matita/Connectives.ma (modified) * Deliverables/D4.1/Matita/Either.ma (modified) * Deliverables/D4.1/Matita/List.ma (modified) * Deliverables/D4.1/Matita/Maybe.ma (modified) * Deliverables/D4.1/Matita/Nat.ma (modified) * Deliverables/D4.1/Matita/Plogic (added) * Deliverables/D4.1/Matita/Plogic/equality.ma (added) * Deliverables/D4.1/Matita/README (added) * Deliverables/D4.1/Matita/Vector.ma (modified) * Deliverables/D4.1/Matita/depends (added) * Deliverables/D4.1/Matita/root (added) - Minimal changes to make it compile with the standard distribution ...