Function Acosh_Dfa-To-Dfa

Part of:

package lisplab
( acosh_dfa-to-dfa < g279 > < g280 > )