Source files in D:\hak\hlt\src\hlt\fot

  1. BadFunctorArityException.java
  2. FirstOrderTerm.java
  3. FirstOrderTermPair.java
  4. FirstOrderTermStructure.java
  5. Functor.java
  6. NumberFunctor.java
  7. Signature.java
  8. Variable.java

This file was generated on Sat Aug 25 07:59:54 CEST 2018
by the hlt.language.tools.HiliteCommand Java tool written by Hassan Aït-Kaci