From d4d929614f67a3c0035e2fe6317a7a746db880a0 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 26 Sep 2005 16:27:30 +0000 Subject: [PATCH] coq.moo is now automatically generated --- helm/matita/coq.moo | Bin 4031 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 helm/matita/coq.moo diff --git a/helm/matita/coq.moo b/helm/matita/coq.moo deleted file mode 100644 index 9c509b67c95e0278a82ff22d02b1f72ca0548282..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 4031 zcma)<-)kII6vt;~?>3pXP)ez$^#_}5vYSBZHYq7KO>|X63Z;aYq%~H{W;5N4OlEdx zXJg`X34MsADflKbR4FQ2SbWeYJ3?)ZNMA%jMAVp8P!a!t+IZ%knaP>S>}DS__XKY8 z`JNy5duIe8yO-^*FJFB7`WJ$*=RHA4R0Ls{EeJbr*sHda5;la5R~#m}t1vh4yiv(k zQ+mOwnFTFX)@oI|n?LP*=YkE7#r#$KialIZi$gisoI9zjR&G=&=tj=ncerTiMSBJI zuE19Nx(SW|Rvm$WRR( ze(_a|6BR5~XZ!Q)QBEB}*s8;x=8>2=j@W5cFPMudRkxIqVm3}*P6Yy{o;6i#Hus#W zpVY0~l+P|x_Ap_;jKp4tO<}Y&6k?Z+D&#S*v;;pLz(V#Ylyt$uz8Gr zK8kR^-E*oA{qDgf-0+bgWzulI(e3yQMOp;8f}mdUOPy1o*SLgx9ecRvYMSM?TA{@CO=40M5p>2$irh`aM4dLf32>Ve z?V~3NIw=a2{RFZ<1@@CXWcwP_yP1s5a~-X>m%JWQ@Hka)9I^XB!4QU4{J^y)AUbfK z03#&eDJozBsq-LU62ot4`OC%|ifQ-Y67ILWIp^M4yHL}MXs58>?fP_xJ5IS3gxv+M z$-`vU8#VukwTAXGp5nW~N?pA!+6tk|6#W+R`T%_y!;AgIUS`yJbw;r>-Wo}|J2>2N z1_OWN!q0@@%M|`05|;q}5r%8W2)xGc5fTwL06A zXM5f2D=FSY+B$>|4|j~qT_JPv3$H7s0>4eFYDu@ZsyGysATn-;RedJCP&V9uWcK#w z`g2G7L}4w^^EuV?J&KqFJwIUhnVgE%)3hefG!o-gqZ-ifQu<$r{0``U^RVrRHv^hc zQj72+QGn|y?LHy{&=&ytm3GSAo`Zc`l84lP56!`!WDcY@qz*VqsU5>*@7(zU4Abs{ zp9sD;4sV!o^mR&?c2Ig6k(Ytqjp2`x^mW6s)9xdfz7ug|*x}CHDZk1RxLYuD61rR4 zPk=#pYacv>EmjuPs#Uc!-r7o%%0gU{_d-chYm?C0+Q)&8*4BR0pD_Q`C95gbYRWKE zN~H!pw~VZv)|ARNMaTD6O^MTUKct6Ro`jay{w3%^%aglD$kA_6OFC#noB@F-Xvevb z2x@*3nxC8j5omt$lAJ~rK~YMkQh*a2sY_`~U4{ZF?RZ&B)Rhk@Z?*F)e31e`d4w1-YIagc|*&Uv*C_q-8xo5YcSp7IkNls|~j^T0ob;VqA^De5$Q z1-=O%klX}RYtio7GU{@y?<$oz3;4s%hlC8)*&}(@!LQ-O7}9Tpke7J4`?O~QV5NZ# hrFwl?ec-}THA!*6hR