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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 6 Aug 2010 11:29:40 +0000 (11:29 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 6 Aug 2010 11:29:40 +0000 (11:29 +0000)
commit	ab13cfa248f0ee58d239ceeddfb50ec49a6b5c6d
tree	c043e91f9815b4074b62784d6aa42b4893010460	tree \| snapshot
parent	514017fb6545009bdc62dcaf294f4317beb251b2	commit \| diff

the refactoring continues ....

176 files changed:

helm/software/lambda-delta/components/Make	[deleted file]	blob \| history
helm/software/lambda-delta/components/automath/Make	[deleted file]	blob \| history
helm/software/lambda-delta/components/automath/Omega.aut	[deleted file]	blob \| history
helm/software/lambda-delta/components/automath/aut.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/automath/autLexer.mll	[deleted file]	blob \| history
helm/software/lambda-delta/components/automath/autOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/automath/autOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/automath/autParser.mly	[deleted file]	blob \| history
helm/software/lambda-delta/components/automath/autProcess.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/automath/autProcess.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_ag/Make	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_ag/bag.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_ag/bagEnvironment.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_ag/bagEnvironment.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_ag/bagOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_ag/bagOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_ag/bagReduction.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_ag/bagReduction.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_ag/bagSubstitution.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_ag/bagSubstitution.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_ag/bagType.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_ag/bagType.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_ag/bagUntrusted.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_ag/bagUntrusted.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_rg/Make	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_rg/brg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_rg/brgEnvironment.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_rg/brgEnvironment.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_rg/brgOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_rg/brgOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_rg/brgReduction.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_rg/brgReduction.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_rg/brgSubstitution.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_rg/brgSubstitution.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_rg/brgType.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_rg/brgType.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_rg/brgUntrusted.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/basic_rg/brgUntrusted.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/common/Make	[deleted file]	blob \| history
helm/software/lambda-delta/components/common/alpha.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/common/alpha.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/common/entity.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/common/hierarchy.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/common/hierarchy.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/common/library.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/common/library.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/common/marks.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/common/options.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/common/output.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/common/output.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/complete_rg/Make	[deleted file]	blob \| history
helm/software/lambda-delta/components/complete_rg/crg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/complete_rg/crgAut.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/complete_rg/crgAut.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/complete_rg/crgBrg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/complete_rg/crgBrg.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/complete_rg/crgOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/complete_rg/crgOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/complete_rg/crgTxt.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/complete_rg/crgTxt.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/complete_rg/crgXml.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/complete_rg/crgXml.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/lib/Make	[deleted file]	blob \| history
helm/software/lambda-delta/components/lib/cps.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/lib/log.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/lib/log.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/lib/share.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/lib/time.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/text/Make	[deleted file]	blob \| history
helm/software/lambda-delta/components/text/prova.hln	[deleted file]	blob \| history
helm/software/lambda-delta/components/text/txt.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/text/txtLexer.mll	[deleted file]	blob \| history
helm/software/lambda-delta/components/text/txtParser.mly	[deleted file]	blob \| history
helm/software/lambda-delta/components/text/txtTxt.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/text/txtTxt.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/toplevel/Make	[deleted file]	blob \| history
helm/software/lambda-delta/components/toplevel/meta.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/toplevel/metaAut.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/toplevel/metaAut.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/toplevel/metaBag.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/toplevel/metaBag.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/toplevel/metaBrg.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/toplevel/metaBrg.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/toplevel/metaLibrary.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/toplevel/metaLibrary.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/toplevel/metaOutput.ml	[deleted file]	blob \| history
helm/software/lambda-delta/components/toplevel/metaOutput.mli	[deleted file]	blob \| history
helm/software/lambda-delta/components/toplevel/top.ml	[deleted file]	blob \| history
helm/software/lambda-delta/src/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/automath/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/automath/Omega.aut	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/automath/aut.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/automath/autLexer.mll	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/automath/autOutput.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/automath/autOutput.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/automath/autParser.mly	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/automath/autProcess.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/automath/autProcess.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bag.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bagEnvironment.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bagEnvironment.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bagOutput.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bagOutput.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bagReduction.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bagReduction.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bagSubstitution.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bagSubstitution.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bagType.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bagType.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bagUntrusted.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_ag/bagUntrusted.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/brg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/brgEnvironment.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/brgEnvironment.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/brgOutput.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/brgOutput.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/brgReduction.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/brgReduction.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/brgSubstitution.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/brgSubstitution.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/brgType.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/brgType.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/brgUntrusted.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/basic_rg/brgUntrusted.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/common/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/common/alpha.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/common/alpha.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/common/entity.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/common/hierarchy.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/common/hierarchy.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/common/library.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/common/library.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/common/marks.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/common/options.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/common/output.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/common/output.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/complete_rg/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/complete_rg/crg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/complete_rg/crgAut.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/complete_rg/crgAut.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/complete_rg/crgBrg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/complete_rg/crgBrg.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/complete_rg/crgOutput.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/complete_rg/crgOutput.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/complete_rg/crgTxt.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/complete_rg/crgTxt.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/complete_rg/crgXml.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/complete_rg/crgXml.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/lib/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/lib/cps.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/lib/log.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/lib/log.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/lib/share.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/lib/time.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/text/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/text/prova.hln	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/text/txt.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/text/txtLexer.mll	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/text/txtParser.mly	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/text/txtTxt.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/text/txtTxt.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/toplevel/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/toplevel/meta.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/toplevel/metaAut.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/toplevel/metaAut.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/toplevel/metaBag.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/toplevel/metaBag.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/toplevel/metaBrg.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/toplevel/metaBrg.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/toplevel/metaLibrary.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/toplevel/metaLibrary.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/toplevel/metaOutput.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/toplevel/metaOutput.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/src/toplevel/top.ml	[new file with mode: 0644]	blob

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

RSS Atom