Renamed upd_snd_conv to apsnd_conv to be consistent with apfst_conv; Added apsnd_apfst_commute
(* Title: Cube/ROOT.ML ID: $Id$ Author: Tobias Nipkow Copyright 1992 University of CambridgeThe Lambda-Cube a la Barendregt.*)use_thys ["Cube", "Example"];