[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

inductive predicates in adt



Hi,

In adt theory files for datatypes, why don'T the inductive predicates
such as "subterm" need the key word, INDUCTIVE?

Aaron Ballard