[Home]History of Higher-order predicate

HomePage | Recent Changes | Preferences

Revision 2 . . (edit) December 20, 2001 4:12 pm by Bryan Derksen [tweak and link]
Revision 1 . . October 12, 2001 12:56 pm by Awaterl
  

No diff available--this is the first major revision. (minor diff, author diff)

HomePage | Recent Changes | Preferences
Search: