matita.cs.unibo.it Git - helm.git/commit

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 9 Dec 2008 19:26:31 +0000 (19:26 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 9 Dec 2008 19:26:31 +0000 (19:26 +0000)
commit	f3b4d265268a43ca98e6843b733109fdfe3f6b0b
tree	2f393233a839ad0d61fec4eccb9926d530b9c9f6	tree \| snapshot
parent	09aa78d84b199053e089052890455f5fcd411f50	commit \| diff

first version of kernel "basic_rg"
the grundlagen does not typecheck because some of its lambdas are actually pis
(this is known)

13 files changed:

helm/software/lambda-delta/.depend.opt		diff \| blob \| history
helm/software/lambda-delta/basic_rg/Make		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brg.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgReduction.mli		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgType.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_rg/brgType.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_rg/brgUntrusted.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/basic_rg/brgUntrusted.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/lib/Make		diff \| blob \| history
helm/software/lambda-delta/lib/cps.ml		diff \| blob \| history
helm/software/lambda-delta/lib/share.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/toplevel/top.ml		diff \| blob \| history

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