From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 5 Dec 2008 20:34:51 +0000 (+0000)
Subject: Case-sensitive fixes.
X-Git-Tag: make_still_working~4451
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=09b92a7ca6e17c21a32471816f5f4c7634e4f937;p=helm.git

Case-sensitive fixes.
---

diff --git a/helm/software/matita/contribs/assembly/freescale/status.ma b/helm/software/matita/contribs/assembly/freescale/status.ma
index e630438dc..1a7b679e8 100644
--- a/helm/software/matita/contribs/assembly/freescale/status.ma
+++ b/helm/software/matita/contribs/assembly/freescale/status.ma
@@ -607,7 +607,7 @@ definition set_sp_reg_HC05 ≝
 λalu.λsp':word16.
  mk_alu_HC05
   (acc_low_reg_HC05 alu)
-  (indx_low_reg_HC05 alu)
+  (indX_low_reg_HC05 alu)
   (or_w16 (and_w16 sp' (sp_mask_HC05 alu)) (sp_fix_HC05 alu))
   (sp_mask_HC05 alu)
   (sp_fix_HC05 alu)
@@ -660,7 +660,7 @@ definition set_pc_reg_HC05 ≝
 λalu.λpc':word16.
  mk_alu_HC05
   (acc_low_reg_HC05 alu)
-  (indx_low_reg_HC05 alu)
+  (indX_low_reg_HC05 alu)
   (sp_reg_HC05 alu)
   (sp_mask_HC05 alu)
   (sp_fix_HC05 alu)
@@ -849,7 +849,7 @@ definition set_h_flag_HC05 ≝
 λalu.λhfl':bool.
  mk_alu_HC05
   (acc_low_reg_HC05 alu)
-  (indx_low_reg_HC05 alu)
+  (indX_low_reg_HC05 alu)
   (sp_reg_HC05 alu)
   (sp_mask_HC05 alu)
   (sp_fix_HC05 alu)
@@ -902,7 +902,7 @@ definition set_i_flag_HC05 ≝
 λalu.λifl':bool.
  mk_alu_HC05
   (acc_low_reg_HC05 alu)
-  (indx_low_reg_HC05 alu)
+  (indX_low_reg_HC05 alu)
   (sp_reg_HC05 alu)
   (sp_mask_HC05 alu)
   (sp_fix_HC05 alu)
@@ -955,7 +955,7 @@ definition set_n_flag_HC05 ≝
 λalu.λnfl':bool.
  mk_alu_HC05
   (acc_low_reg_HC05 alu)
-  (indx_low_reg_HC05 alu)
+  (indX_low_reg_HC05 alu)
   (sp_reg_HC05 alu)
   (sp_mask_HC05 alu)
   (sp_fix_HC05 alu)
@@ -1008,7 +1008,7 @@ definition set_z_flag_HC05 ≝
 λalu.λzfl':bool.
  mk_alu_HC05
   (acc_low_reg_HC05 alu)
-  (indx_low_reg_HC05 alu)
+  (indX_low_reg_HC05 alu)
   (sp_reg_HC05 alu)
   (sp_mask_HC05 alu)
   (sp_fix_HC05 alu)
@@ -1069,7 +1069,7 @@ definition set_c_flag_HC05 ≝
 λalu.λcfl':bool.
  mk_alu_HC05
   (acc_low_reg_HC05 alu)
-  (indx_low_reg_HC05 alu)
+  (indX_low_reg_HC05 alu)
   (sp_reg_HC05 alu)
   (sp_mask_HC05 alu)
   (sp_fix_HC05 alu)
@@ -1130,7 +1130,7 @@ definition set_irq_flag_HC05 ≝
 λalu.λirqfl':bool.
  mk_alu_HC05
   (acc_low_reg_HC05 alu)
-  (indx_low_reg_HC05 alu)
+  (indX_low_reg_HC05 alu)
   (sp_reg_HC05 alu)
   (sp_mask_HC05 alu)
   (sp_fix_HC05 alu)