xref/hets/time.c

	time.c revision 1132
tree 1132:

AS_Basic_CASL.der.hs
AlphaConvert.hs
Amalgamability.hs
CCC/
ColimSign.hs
CompositionTable/
Fold.hs
Formula.hs
Freeness.hs
Induction.hs
Inject.hs
Kif.hs
Kif2CASL.hs
Logic_CASL.hs
Makefile
MapSentence.hs
MixfixParser.hs
Monoton.hs
Morphism.hs
OMDoc.hs
OMDocExport.hs
OMDocImport.hs
OpItem.hs
Overload.hs
Parse_AS_Basic.hs
Project.hs
Qualify.hs
Quantification.hs
QuickCheck.hs
RunMixfixParser.hs
RunStaticAna.hs
ShowMixfix.hs
Sign.hs
Simplify.hs
SimplifySen.hs
SortItem.hs
StaticAna.hs
Sublogic.hs
SymbolMapAnalysis.hs
SymbolParser.hs
Taxonomy.hs
Termination/
ToDoc.hs
ToItem.hs
ToSExpr.hs
Utils.hs
asf/
capa.hs
doc/
fromKif.hs
ghc-call
iterate.sh
test/