Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Last revisionBoth sides next revision
teaching:cc7125 [2017/11/13 09:16] etanterteaching:cc7125 [2017/11/13 15:45] etanter
Line 47: Line 47:
     * Nov 6: Smallstep.v (hasta normalizing)     * Nov 6: Smallstep.v (hasta normalizing)
     * Nov 8: Smallstep.v     * Nov 8: Smallstep.v
-    * Nov 13:+    * Nov 13: Perm.v y Sort.v (libro VFA)
     * Nov 15: JSCert (M. Bodin)     * Nov 15: JSCert (M. Bodin)
     * Nov 20: JSCert (M. Bodin)     * Nov 20: JSCert (M. Bodin)