hets/debian/UIFactory.java

	UIFactory.java revision 1480
tree 1480:

AS.hs
ColimSign.hs
ColonKeywords.hs
ColonKeywords.list
Conservativity.hs
DMU2OWL2.hs
Extract.hs
Function.hs
Keywords.hs
Keywords.list
Logic_OWL2.hs
MS.hs
ManchesterParser.hs
ManchesterPrint.hs
Morphism.hs
OWL22CASL.hs
OWL22CommonLogic.hs
Parse.hs
ParseOWLAsLibDefn.hs
Print.hs
Profiles.hs
ProfilesAndSublogics.hs
Propositional2OWL2.hs
ProveFact.hs
ProvePellet.hs
ProverState.hs
Rename.hs
Sign.hs
StaticAnalysis.hs
Sublogic.hs
Symbols.hs
Taxonomy.hs
Theorem.hs
XML.hs
XMLConversion.hs
XMLKeywords.hs
java/
scripts/
tests/