chiark / gitweb /
Add innduct-forall