# # ChangeLog for Deliverables/D4.1/Matita # # Generated by Trac 1.2 # Mar 3, 2021, 8:42:55 PM Mon, 15 Nov 2010 09:26:20 GMT mulligan [241] * Deliverables/D4.1/Matita/List.ma (modified) * Deliverables/D4.1/Matita/Vector.ma (modified) Also needed an updated List.ma. Mon, 15 Nov 2010 09:22:41 GMT mulligan [240] * Deliverables/D4.1/Matita/BitVector.ma (modified) * Deliverables/D4.1/Matita/Vector.ma (modified) Updated Vector / BitVector files taken from my Matita library. Fri, 12 Nov 2010 16:09:39 GMT mulligan [238] * Deliverables/D4.1/Matita/BitVector.ma (modified) More work on bitvectors. Fri, 12 Nov 2010 15:51:45 GMT mulligan [237] * Deliverables/D4.1/Matita/BitVector.ma (modified) * Deliverables/D4.1/Matita/List.ma (modified) * Deliverables/D4.1/Matita/Nat.ma (modified) * Deliverables/D4.1/Matita/Vector.ma (modified) More functions on bitvectors written. Fri, 12 Nov 2010 15:01:48 GMT mulligan [236] * Deliverables/D4.1/Matita/BitVector.ma (modified) * Deliverables/D4.1/Matita/Cartesian.ma (modified) * Deliverables/D4.1/Matita/List.ma (modified) * Deliverables/D4.1/Matita/Nat.ma (modified) * Deliverables/D4.1/Matita/Vector.ma (modified) Strange problem with matita and the Maybe file? Cannot find Maybe.ng. Fri, 12 Nov 2010 13:43:02 GMT mulligan [235] * Deliverables/D4.1/Matita/BitVector.ma (modified) More work on bitvectors. Fri, 12 Nov 2010 13:27:56 GMT mulligan [234] * Deliverables/D4.1/Matita/BitVector.ma (modified) * Deliverables/D4.1/Matita/Nat.ma (modified) * Deliverables/D4.1/Matita/Vector.ma (modified) Division and modulus implemented. All necessary orders on naturals ... Fri, 12 Nov 2010 10:51:18 GMT mulligan [233] * Deliverables/D4.1/Matita/List.ma (modified) * Deliverables/D4.1/Matita/Nat.ma (modified) * Deliverables/D4.1/Matita/Vector.ma (modified) Changes from this morning: Bool / Prop division = nightmare. Thu, 11 Nov 2010 15:56:59 GMT mulligan [232] * Deliverables/D4.1/Matita/BitVector.ma (modified) * Deliverables/D4.1/Matita/Bool.ma (modified) * Deliverables/D4.1/Matita/Nat.ma (modified) * Deliverables/D4.1/Matita/Vector.ma (modified) Lots of work from today. Writing bitvector library is harder than it ... Thu, 11 Nov 2010 11:27:04 GMT mulligan [231] * Deliverables/D4.1/Matita/BitVector.ma (modified) * Deliverables/D4.1/Matita/Nat.ma (modified) * Deliverables/D4.1/Matita/Vector.ma (modified) BitVector stuff from this morning: need further development of Nat ... Wed, 10 Nov 2010 16:26:08 GMT mulligan [230] * Deliverables/D4.1/Matita/BitVector.ma (modified) * Deliverables/D4.1/Matita/List.ma (modified) * Deliverables/D4.1/Matita/Nat.ma (modified) * Deliverables/D4.1/Matita/Vector.ma (modified) Lots of work from today. Tue, 09 Nov 2010 16:00:50 GMT mulligan [229] * Deliverables/D4.1/Matita/List.ma (modified) * Deliverables/D4.1/Matita/Util.ma (added) * Deliverables/D4.1/Matita/Vector.ma (modified) More changes. Tue, 09 Nov 2010 14:27:30 GMT mulligan [228] * Deliverables/D4.1/Matita/BitVector.ma (moved) * Deliverables/D4.1/Matita/Bool.ma (added) * Deliverables/D4.1/Matita/Cartesian.ma (added) * Deliverables/D4.1/Matita/Either.ma (added) * Deliverables/D4.1/Matita/List.ma (added) * Deliverables/D4.1/Matita/Maybe.ma (added) * Deliverables/D4.1/Matita/Nat.ma (added) * Deliverables/D4.1/Matita/Vector.ma (moved) Conjunction, disjunction and 'xorjunction' implemented on bitvectors. ... Mon, 08 Nov 2010 16:04:27 GMT mulligan [224] * Deliverables/D4.1/Matita/BitVectors.ma (modified) * Deliverables/D4.1/Matita/Vectors.ma (modified) Changes to bit vectors and vectors. Mon, 08 Nov 2010 13:24:56 GMT mulligan [223] * Deliverables/D4.1/Matita/BitVectors.ma (added) * Deliverables/D4.1/Matita/Vectors.ma (modified) File for bitvector specific stuff added. Mon, 08 Nov 2010 12:53:17 GMT mulligan [222] * Deliverables/D4.1/Matita/Vectors.ma (moved) Datatype for fixed length lists (vectors) as well as some recursive ... Mon, 08 Nov 2010 10:17:39 GMT mulligan [221] * Deliverables/D4.1/Matita (added) * Deliverables/D4.1/Matita/BitVectors.ma (added) Starting formalisation in Matita