Inductive Foo

Modification history