Library.agda is now an interface to the std-lib
	modified:   Categories.agda
	modified:   Categories/Initial.agda
	modified:   Categories/Setoids.agda
	modified:   Categories/Terminal.agda
	modified:   Everything.agda
	modified:   Functors.agda
	modified:   Functors/Fin.agda
	modified:   Functors/FullyFaithful.agda
	renamed:    Equality.agda -> Library.agda
	modified:   Monads/CatofAdj.agda
	modified:   Monads/CatofAdj/InitAdj.agda
	modified:   Monads/CatofAdj/TermAdjHom.agda
	modified:   Monads/CatofAdj/TermAdjObj.agda
	modified:   Monads/CatofAdj/TermAdjUniq.agda
	modified:   Monads/EM.agda
	modified:   Monoids.agda
	modified:   Naturals.agda
	modified:   RMonads/CatofRAdj.agda
	modified:   RMonads/CatofRAdj/InitRAdj.agda
	modified:   RMonads/CatofRAdj/TermRAdj.agda
	modified:   RMonads/CatofRAdj/TermRAdjHom.agda
	modified:   RMonads/CatofRAdj/TermRAdjObj.agda
	modified:   RMonads/REM.agda
	modified:   RMonads/REM/Adjunction.agda
	modified:   RMonads/REM/Functors.agda
	modified:   RMonads/Restriction.agda
	modified:   WellScopedTerms.agda
	modified:   WellScopedTermsModel.agda
	modified:   WellTypedTerms.agda
	modified:   WellTypedTermsModel.agda