matita.cs.unibo.it Git - fireball-separation.git/log

]> matita.cs.unibo.it Git - fireball-separation.git/log

<andrea.condoluci@unibo.it> [Thu, 22 Jun 2017 15:20:55 +0000 (17:20 +0200)]

Removed lambda3 + Fixed lambda4

<andrea.condoluci@unibo.it> [Thu, 22 Jun 2017 14:23:21 +0000 (16:23 +0200)]

Updated type of terms with arities in lambda and matche

<andrea.condoluci@unibo.it> [Mon, 12 Jun 2017 20:44:12 +0000 (22:44 +0200)]

Moved andrea's stuff to its branch

<andrea.condoluci@unibo.it> [Mon, 12 Jun 2017 20:28:38 +0000 (22:28 +0200)]

Copy ocaml folder from sacerdot's svn repository, rev 4907

Andrea Condoluci [Mon, 12 Jun 2017 20:17:57 +0000 (22:17 +0200)]

Initial commit

Unnamed repository; edit this file 'description' to name the repository.