Added draft on inductive predicates for representating FOTC functions.
Added draft on inductive predicates for representating FOTC functions.

Ignore-this: a8a69744dc25bf0d0428a6f96bb7bbb

darcs-hash:20120313144819-3bd4e-1c025eb4919a5c7f1ec28208bd7854b1e6934ed9.gz

asr/fotc,asr/fotc