wenzelm@29304: (* Classical Higher-order Logic -- batteries included *)
clasohm@923: 
wenzelm@33615: use_thys ["Complex_Main"];