[isabelle] old methods



		
		Hi,
	The following ?old? method is not correct for Isabelle2013 
		
method_setup unnext_method =  {*	Method.thms_args (fn thms =>
Method.METHOD (fn facts =>
    						 (REPEAT  (resolve_tac [thm
"unnext1",thm "unnext2"] 1
              						 ORELSE
(resolve_tac [thm "unnext0"] 1))))) 			*}

		¿Could you tell how to ?renew? this king of methods for
Isabelle2013?
		
		Thanks,
		Paqui

	
---------------------------------------------------------------- 
		Paqui Lucio                                
		Dpto de Lenguajes y Sistemas Informáticos                  
		Facultad de Informática 
		Paseo Manuel de Lardizabal, 1 
		20018-San Sebastián 
		SPAIN 
	
----------------------------------------------------------------  
		e-mail: paqui.lucio at ehu.es 
		Tfn: (+34) (9)43 015049  
		Fax: (+34) (9)43 015590 
		Web: http://www.sc.ehu.es/paqui 
	
----------------------------------------------------------------
		

		



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.