Package jtp.func

Class Summary

Equals	Equals.java Created: Thu Dec 30 05:53:45 1999
EvaluableFunctionReasoner
ForIn	ForIn.java Created: Thu Dec 30 06:03:43 1999
FunctionProofStep	This proof step is used when the goal has been proved through some form of procedural attachment.
GetSetof
Greater	Greater.java Created: Thu Dec 30 04:49:31 1999
InEqual	Equals.java Created: Thu Dec 30 05:53:45 1999
Less	Less.java Created: Thu Dec 30 05:24:51 1999
Unprovable	Unprovable.java Created: Thu Dec 30 04:00:16 1999