[isabelle] Array



In Isabelle i can do that : 
(λx. 0) (''x'':= 7,’’z’’:= 4)
And i want to do the following :
(λx. 0) (‘’Array'':= (1:=2, 2:=0, 3:=4),’’z’’:= 4)
but i have problems, how can i  


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