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

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

2017-06-22	<andrea.condoluci...	Removed lambda3 + Fixed lambda4	commit \| commitdiff \| tree
2017-06-22	<andrea.condoluci...	Updated type of terms with arities in lambda and matche	commit \| commitdiff \| tree
2017-06-12	<andrea.condoluci...	Moved andrea's stuff to its branch	commit \| commitdiff \| tree
2017-06-12	<andrea.condoluci...	Copy ocaml folder from sacerdot's svn repository, rev...	commit \| commitdiff \| tree
2017-06-12	Andrea Condoluci	Initial commit	commit \| commitdiff \| tree

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