]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/extraction.ma
match
[helm.git] / matita / matita / lib / extraction.ma
2012-08-28 Claudio Sacerdoti... ...
2012-08-27 Claudio Sacerdoti... ...
2012-08-27 Claudio Sacerdoti... ...
2012-08-27 Claudio Sacerdoti... ...
2012-08-27 Claudio Sacerdoti... Self contained now.
2012-08-22 Claudio Sacerdoti... Preliminary work on (co)inductive types.
2012-08-02 Claudio Sacerdoti... ...
2012-08-02 Claudio Sacerdoti... ...
2012-08-02 Claudio Sacerdoti... ...
2012-08-02 Claudio Sacerdoti... Temporary stuff to test code extraction. Running make...
2012-08-01 Claudio Sacerdoti... Tests for code extraction; to be moved elsewhere.