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 Wed Dec 18 03:38:33 PST 2019
by the hlt.language.tools.HiliteCommand Java tool written by Hassan Aït-Kaci