Definitions GenAutomata Sections NuprlLIB Doc

No mentions to report in GenAutomata
mapcDef mapc(f)(as) == Case of as; nil nil ; a.as1 [(f(a)) / (mapc(f)(as1))] (recursive)
Thm* A,B:Type, f:(AB). mapc(f) (A List)(B List)

About:
listconsnillist_indapply
functionrecursive_def_noticeuniversememberall!abstraction

Definitions GenAutomata Sections NuprlLIB Doc