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
)