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

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

projects / fireball-separation.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: a56b79f) | patch

author	<andrea.condoluci@unibo.it> <>
	Thu, 22 Jun 2017 15:20:55 +0000 (17:20 +0200)
committer	<andrea.condoluci@unibo.it> <>
	Thu, 22 Jun 2017 15:20:55 +0000 (17:20 +0200)
commit	f804e82c47ca8a25f3044ae630988af4b8da7b25
tree	ff9dff97f7a97e4cb98c53d3e85b419810b1cd0a	tree \| snapshot
parent	a56b79f325d6fc7e85ec0b65669047232674e98b	commit \| diff

Removed lambda3 + Fixed lambda4

ocaml/Makefile		diff \| blob \| history
ocaml/lambda3.ml	[deleted file]	blob \| history
ocaml/lambda3.ml.ar	[deleted file]	blob \| history
ocaml/lambda3.mli	[deleted file]	blob \| history
ocaml/lambda4.ml		diff \| blob \| history
ocaml/problems.ml		diff \| blob \| history
ocaml/test.ml		diff \| blob \| history

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