Name		Name	Last commit message	Last commit date
Basic		Basic
CASL		CASL
Calculi		Calculi
CaseStudies		CaseStudies
CoCASL		CoCASL
CommonLogic		CommonLogic
Conservativity		Conservativity
ConstraintCASL		ConstraintCASL
CspCASL		CspCASL
DOL		DOL
EnCL		EnCL
Examples		Examples
HasCASL		HasCASL
HelloWorldExamples		HelloWorldExamples
HetCASL		HetCASL
HolLight		HolLight
Hybrid		Hybrid
Isabelle		Isabelle
MMT		MMT
MOF		MOF
Maude		Maude
Modal		Modal
NeSy		NeSy
Ontology		Ontology
Propositional		Propositional
QVTR		QVTR
Refinement		Refinement
SampleProofs		SampleProofs
THF		THF
Temporal		Temporal
TestSuite		TestSuite
UML		UML
UserManual		UserManual
Basic-Libraries.tex		Basic-Libraries.tex
Datatypes.casl		Datatypes.casl
Datatypes.hpf		Datatypes.hpf
HidingOWL.dol		HidingOWL.dol
Hugo.casl		Hugo.casl
RCCVerification.hpf		RCCVerification.hpf
RCCVerification_RCC_FO_in_MetricSpace__T.thy		RCCVerification_RCC_FO_in_MetricSpace__T.thy
README.md		README.md
Test.casl		Test.casl
check-files		check-files
hets-mmt.msl		hets-mmt.msl
testFree2.casl		testFree2.casl
testHeterogeneity.casl		testHeterogeneity.casl
testHiding.casl		testHiding.casl
testNF.casl		testNF.casl
testTranslation.casl		testTranslation.casl
testUnion.casl		testUnion.casl
test_HideTheoremShift.casl		test_HideTheoremShift.casl
test_TheoremHideShift.casl		test_TheoremHideShift.casl
test_hide.casl		test_hide.casl
test_implies.casl		test_implies.casl
testfiles		testfiles
view-test8.casl		view-test8.casl

Repository files navigation

Hets-lib

This is the repository for the basic libraries and other examples

Basic libraries and other examples

2 stars

11 watching