Searched +path:isabelle +path:export +path:examples (Results 1 - 12 of 12) sorted by relevance

/hets/Isabelle/export/examples/
H A DClass.thy
H A DDataType.thy
H A DDefinitions.thy
H A DDomain_ex.thy
H A DFixrec_ex.thy
H A DFunction.thy
H A DInstantiation.thy
H A DLemma.thy
H A DLocale.thy
H A DPrimRec.thy
H A DTest.thy
H A DTypedef_Example.thy

Completed in 5 milliseconds