Replace natural-number induction with the SepPP-style < relation as a primitive.

sweirich / trellys

Automatically exported from code.google.com/p/trellys

45 stars 6 forks source link

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

(Need to think of a different keyword than "natrec"... :)

Original issue reported on code.google.com by vilhelm....@gmail.com on 4 Jul 2011 at 5:52