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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 7 Aug 2009 10:57:18 +0000 (10:57 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 7 Aug 2009 10:57:18 +0000 (10:57 +0000)
commit	94c6cfe7e6b833190904c6b546668d716978a812
tree	d3f8692172e6e1097f2b6843205111888925d00d	tree \| snapshot
parent	29cfb9e2961e62c836cb50217905c0594a074e81	commit \| diff

basic_rg: improved interface, unwind removed from applicability check
basic_ag: improved interface
common: kernel code sharing started

22 files changed:

helm/software/lambda-delta/.depend.opt		diff \| blob \| history
helm/software/lambda-delta/Make		diff \| blob \| history
helm/software/lambda-delta/README		diff \| blob \| history
helm/software/lambda-delta/basic_ag/bag.ml		diff \| blob \| history
helm/software/lambda-delta/basic_ag/bagReduction.ml		diff \| blob \| history
helm/software/lambda-delta/basic_ag/bagReduction.mli		diff \| blob \| history
helm/software/lambda-delta/basic_ag/bagType.ml		diff \| blob \| history
helm/software/lambda-delta/basic_ag/bagType.mli		diff \| blob \| history
helm/software/lambda-delta/basic_ag/bagUntrusted.ml		diff \| blob \| history
helm/software/lambda-delta/basic_ag/bagUntrusted.mli		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		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgType.mli		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgUntrusted.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgUntrusted.mli		diff \| blob \| history
helm/software/lambda-delta/common/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/common/common.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/lib/log.ml		diff \| blob \| history
helm/software/lambda-delta/lib/log.mli		diff \| blob \| history
helm/software/lambda-delta/toplevel/top.ml		diff \| blob \| history

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