COD0001 = Refinement
  COD0002 = New ...
  COD0003 = Open ...
  COD0004 = Close
  COD0005 = Save
  COD0006 = Save as ...
  COD0007 = Print
  COD0008 = Exit
  COD0011 = Window
  COD0012 = Refinement
  COD0013 = Code
  COD0014 = Proof Obligations
  COD0015 = Laws 
  COD0018 = Help
  COD0019 = Topics
  COD0020 = About
  COD0021 = Laws
  COD0040 = Applying law ...
  COD0063 = There is no selected law or multiple 
   selected laws in the law window. Código 0001.
  COD0631 = Copy
  COD0072 = OK
  COD0078 = Cancel
  COD0079 = Discard
  COD0083 = Code
  COD0084 = Proof Obligation
  COD0105 = Saving development...
  COD0109 = Parameter
  COD0110 = Enter the predicate:
  COD0111 = Open Refinement...
  COD0129 = Insert Comment
  COD0262 = Error trying to open program.
  COD0263 = Not possible to save program.
  COD0268 = Undo
  COD0269 = Redo
  COD0272 = Edit
  COD0273 = Law details...
  COD0275 = Insert comments:
  COD0276 = Comments:
  COD0279 = Comments
  COD0285 = View Comment
  COD0286 = Applied Law
  COD0287 = Description
  COD0288 = Apply law
  COD0289 = Hide
  COD0290 = Collect Code
  COD0293 = Comments
  COD0460 = Enter the expression:
  COD0461 = Enter the action:
  COD0462 = Enter the nameset:
  COD0463 = Enter the channelset:
  COD0464 = The selected program is not an action
  COD0465 = Type Errors
  COD0466 = The specification has as type errors:
  COD0469 = Enter the channel name:
  COD0470 = The selected law has as type errors:
  COD0471 = Main Action
  COD0472 = Colect Action
  COD0473 = External Choice Commutativity
  COD0474 = Guard/Internal choice--distribution
  COD0475 = Skip
  COD0476 = Prefix distribution
  COD0477 = Parallel composition commutativity
  COD0478 = Guard combination
  COD0479 = Guards expansion
  COD0480	= Guard/Sequence--associativity
  COD0481 = Unification Exception
  COD0482 = Erro gerado por um dos seguintes motivos:
  I) O termo selecionado nao unifica as meta-variáveis
  II) Esse termo já foi alvo de uma aplicação de lei
  COD0483 = Laws:
  COD0484 = Name: 
  COD0485 = Obligations:
  COD0486 = Observations:
  COD0487 = Before:
  COD0488 = After: 
  COD0492 = Guard/Interleaving -- distribution 1
  COD0493 = External choice/Prefix distribution
  COD0494 = Enter the namelist:
  COD0495 = Enter the name:
  COD0496 = Enter the renamelist:
  COD0497 = Enter the decllist:
  COD0498 = Enter the stroke:
  COD0499 = Enter the exprlist: 
  COD0500 = Enter the process: 
  COD0501 = Recursion distribution
  COD0502 = View Comment
  COD0503 = Actions
  COD0504 = Processes
  COD0505 = Initial Term
  COD0506 = Guarded Stop
  COD0507 = Edit Comment
  COD0508 = Remove Comment
  COD0509 = Push F12 and the Latex commands will be converted into Unicode
  COD0510 = Syntax Error
  COD0511 = File : 
  COD0513 = Collect
  COD0514 = Colect Process
  COD0515 = Channel extension 4 - Inserting a channel
  COD0517 = Errors:
  COD0518 = Details>>
  COD0519 = Details<<
  COD0520 = Channel extension 4 Removing a channel
  COD0521 = Open Specification
  COD0522 = Select the itens:
  COD0523 = Itens determine which sections will be integrated in the generated archive .tex
  COD0524 = Original Specification
  COD0525 = Proof Obligations
  COD0526 = Comments in a list
  COD0527 = Comments before line
  COD0528 = Comments after line
  COD0529 = Recursion -- least fixed-point
  COD0530 = Enter the paragraph:
  COD0531 = Enter the list of paragraphs:
  COD0532 = Refinement
  COD0533 = Insert new Action Paragraph
  COD0534 = Insert new Paragraph
  COD0535 = Original Specification
  COD0536 = Remove Paragraph
  COD0537 = Copy Rule
  COD0538 = Transform Predicate
  COD0539 = COLLECTED TERM
  COD0540 = ===> COLLECTED TERM <===
  COD0541 = External Choice/Sequence distribution 2
  COD0542 = Generating output .tex file
  COD0543 = Simulation
  COD0544 = Action Refinement
  COD0545 = Process Refinement
  COD0546 = Schema Refinement
  COD0547 = Normalize
  COD0548 = ORIGINAL SPECIFICATION
  COD0549 = REFINEMENT
  COD0550 = PROOF OBLIGATIONS
  COD0551 = NEW COMMANDS
  COD0552 = INCLUDING PACKAGES
  COD0553 = COMMENTS
  COD0554 = Initialisation schema/Sequence--introduction
  COD0555 = Copy Rule (Inverse)
  COD0556 = FINAL CODE
  COD0557 = Hiding Identity
  COD0558 = Hiding Sequence distribution
  COD0559 = Schemas Parallelism composition distribution
  COD0560 = Process splitting
  COD0561 = First Process Name
  COD0562 = Second Process Name
  COD0563 = NameList of the first process paragraphs
  COD0564 = First Process Main Action
  COD0565 = Second Process Main Action
  COD0566 = First Process State Name
  COD0567 = Second Process State Name
  COD0569 = Predicate 
  COD0573 = Assumption Refinement
  COD0574 = Guards Refinement
  COD0575 = Parallel Composition Refinement
  COD0576 = Interleaving Refinement
  COD0577 = Prefix Refinement
  COD0578 = External Choice Refinement
  COD0579 = Internal Choice Refinement
  COD0580 = Hiding Refinement
  COD0581 = Recursion Refinement
  COD0582 = Sequence Refinement
  COD0583 = Chaos Refinement
  COD0584 = Variable Blocks Refinement
  COD0585 = Alternation Refinement
  COD0586 = Substitution Refinement
  COD0587 = View Latex
  COD0588 = View Unicode
  COD0589 = About CRefine
  COD0590 = Sequence Associativity
  COD0591 = Schema Decomposition
  COD0592 = Click here to select the law
  COD0593 = Parallel Composition Sequence step
  COD0594 = Error in the archives of internationalisation.
   Check that are in accordance with the most current version.
  COD0595 = Original
  COD0596 = Evaluated
  COD0597 = Assumption/Input prefix - distribution
  COD0598 = Parallel composition introduction 1* (1)
  COD0599 = Error in generate printing file
  COD0600 = Manual Proof
  COD0601 = True
  COD0602 = False
  COD0603 = Unchecked
  COD0604 = Identifier
  COD0605 = Loading...
  COD0606 = Schema Decomposition with predicate
  COD0609 = IO Error
  COD0612 = \Xi Definition
  COD0616 = Conjunctions of schemas Zero
  COD0617 = Test wrtV
  COD0618 = There is a name set declaration
  COD0619 = Invallid state paragraph
  COD0620 = There is a unclassified paragraph 
  COD0621 = Invalid File
  COD0622 = Sucessfuly generated file	
  COD0624 = The argument cannot be parsed
  COD0625 = Insert
  COD0626 = Paragraph
  COD0627 = --> INSERTED PARAGRAPH 
  COD0628 = The specification could not be edited
  COD0631 = Copy
  COD0632 = Error in Law Application
  COD0632 = Error in the change of format Unicode/Latex
  COD0633 = Unicode/Latex Error
  COD0634 = Cancelled Law Application
  COD0635 = Error in The collection of term
  COD0636 = Rearrage Declaration List
  COD0637 = Rearrage Declaration List Without Predicate
  COD0638 = Transform into \Xi Application
  COD0639 = Stop
  COD0640 = Chaos
  COD0641 = Sequence distribution
  COD0642 = External choice distribution
  COD0643 = Internal choice distribution
  COD0644 = Variable Block Distribution
  COD0645	= Assumption Conjunction
  COD0646 = Assumption introduction
  COD0647 = Assumption/Guard-introduction
  COD0648 = Guard/Assumption-introduction 1
  COD0649 = Assumption/Guard-elimination 1
  COD0650 = Assumption/Guard-elimination 2
  COD0651 = Assumption/Guard-replacement
  COD0652 = Assumption elimination
  COD0653 = Assumption substitution 1
  COD0654 = Assumption/External choice-distribution
  COD0655 = Assumption/Parallelism composition-distribution
  COD0656 = Assumption/Interleaving-distribution
  COD0657 = Wrong format file.
  COD0658 = The insertion of paragraph was canceled
  COD0659 = Assumption/Prefix - distribution 1
  COD0660 = Assumption/Prefix - distribution 2
  COD0661 = Assumption/ Simple Prefix - Distribution
  COD0662 = Assumption/Simple Prefix - Distribution 2
  COD0663 = Assumption/Output Prefix - Distribution
  COD0664 = Assumption/Output Prefix - Distribution 2
  COD0665 = Assumption/Input prefix - distribution 2
  COD0666 = Input Prefix Distribution
  COD0667 = Assumption/Constrained Input prefix - distribution
  COD0668 = Assumption/Constrained Input prefix - distribution 2
  COD0669 = Assumption/Schema - Distribution
  COD0670 = Assumption/Assignment - distribution 
  COD0671 = Assumption Unit
  COD0672 = Assumption Zero
  COD0673 = Guarded/Parallel composition -- distribution 3
  COD0674 = Guards/External Choice Distribution
  COD0675 = Guarded/Parallel composition -- distribution 1
  COD0676 = Guard/Interleaving -- distribution 2
  COD0677 = True Guard
  COD0678 = False Guard
  COD0679 = Schema Disjunction Elimination  
  COD0680 = Channel extension 1
  COD0681 = Parallelism Composition\ExternalChoice - Exchange
  COD0682 = Channel extension 2
  COD0683 = Parallelism composition/Sequence -- Distribution
  COD0684 = Parallelismo Composition Unit
  COD0685 = Parallelismo Composition Unit 2
  COD0686 = Parallelismo Composition Zero
  COD0687 = Parallelismo Deadlocked 1 parte 1
  COD0688 = Parallelismo Deadlocked 1 parte 2
  COD0689 = Parallelismo Deadlocked 2
  COD0690 = Interleaving/Sequence -- Distribution
  COD0691 = Interleaving Zero
  COD0692 = Interleaving Stop
  COD0693 = Parallelism Composition/ Interleaving Equivalence 
  COD0694 = Interleaving Choices
  COD0695 = Prefix Skip
  COD0696 = Prefix Sequential Composition Associativity
  COD0697 = Prefix/Hiding
  COD0698 = Prefix Introduction 
  COD0699 = Prefix/Internal Choice -- Distribution
  COD0700 = Prefix/Parrallelism Composition -- Distribution
  COD0701 = Communication/Parallelism Composition -- Distribution
  COD0702 = Input Prefix/Parrallelism Composition -- Distribution
  COD0703 = External Choice Elimination
  COD0704 = External Choice Unit
  COD0705 = Sequence/Internal Choice -- Distribution
  COD0706 = Internal Choice Elimination 
  COD0707 = Internal Choice Elimination 2
  COD0708 = Internal Choice Zero
  COD0709 = Internal Choice/Parallelism -- Distribution
  COD0710 = Hiding Combination
  COD0711 = Hiding External Choice Distribution
  COD0712 = Hiding/Chaos -- Distribution
  COD0713 = Sequence Zero
  COD0714 = Sequence Zero 2
  COD0715 = Chaos Refinement
  COD0716 = Hiding Expansion 2
  COD0717 = Proved by the syntatic analyser of CRefine.
  COD0718 = Proved false by the syntactic analyser of CRefine.
  COD0719 = The Syntactic Restriction Analyzer of CRefine can not determine
   a boolean value for the predicate.
  COD0720 = Proved by veriT Theorem Prover
  COD0721 = Determined false by veriT Theorem Prover
  COD0722 = veriT Theorem Prover can not determine a boolean value for the predicate.
  COD0723 = The predicate could not be transformed into a input file for Theorem Prover veriT.
  COD0724 = PO Log
  COD0725 = Generate
  COD0726 = veriT file
  COD0727 = Generating SMT file...
  COD0728 = Details of Errors:
  COD0729 = Modified Program
  COD0730 = Do you want to save your changes or discard them?
  COD0731 = SMT Pure File
  COD0732 = Prove
  COD0733 = Start Proof
  COD0734 = Continue Proof
  COD0735 = PO
  COD0736 = Father Development was not found for the underdevelopment loaded
  COD0737 = Discard All
  COD0738 = Target
  COD0739 = View 
  COD0740 = Predicate  successfully proved
  COD0741 = Collect Specification
  COD0742 = Guarded/Parallelism composition -- distribution 2
  COD0743 = Collect Initial Term
  COD0744 = External Choice/Sequence distribution
  COD0745 = Recursion Unfold - folding recursion 
  COD0746 = Sequence Unit part 1
  COD0747 = Sequence Unit part 2
  COD0748 = This PO must be sent to a Model Checker to be analised.
  COD0749 = Channel extension 3
  COD0750 = Parallelism Compositon/External Choice Expansion
  COD0751 = Recursion Unfold - unfolding recursion
  COD0752 = Parallelism Compositon/External Choice Distribution
  DevelopmentProved = Predicate proved by another Development.
  ViewProof = View Proof
  ReachedSubDevelopmentTitle = Destination Term Reached!
  ReachedSubDevelopment = Destination Term reached.
  In order to conclude the sub-development, prove the remaining PO's.
  SubDevelopment = Sub Development
  BasicConversion = Basic Conversion
  BasicConversionNoChangeState = Basic Conversion (Operations that do not modify the state)
  DeltaSError = Delta S não encontrado
  SNotFoundError = S não é encontrado na especificação
  ReduceStep = Apply Definition of a Name into Schema
  NameNotFound = The schema does not contain the name
  DefinitionNotFound = The Definition of the name was not found.
  SchemaExpressionsLaw = Schema Expressions
  DataRefinement = Data Refinement Process
  ChangeProcessStateOP = The main action of the process must be according to the new state
  DontForgetStateDeclaration = Do not forget to declare the state. Use the command "\circstate".
  SaveError = Error in saving operation. 
  LeiTeste = Teste law Chaos
  ZRC = Zed Refinement Calculus
  SchemaDisjunctionConversion = Schema Disjunction Conversion
  SchemaConjuctionConversion = Schema Conjuction Conversion
  SchemaCompositionConversion = Schema Composition Conversion
  GuardDistribution = Guard Distribution
  SchemaRefinement = Schema Refinement
  Refinamento=Tactics
  ArcAngelC=ArcAngelC
  Tactics=Tactics
  Skip=Skip Tactic
  NewT = New Tactic
  OpenT = Open Tactic
  RemoveT = Remove Tactic
  SaveT = Save Tactic
  TacticError = Sintactic Error
  NoDetails = Sem datalhes a serem exibidos
  ErrorDetails = Detalhes do Erro
  SaveTactic = First Save the Tactic
  SaveError = Erro ao Salvar
  AddTactic = Tactic Successfully Compiled
  EditTactic = Compiled Tactic 
  EmptyFile = Empty File
  ApplyTactic = Apply Tactic
  LawNotFound = Law Not Found
  LawNotValidCRulesMsg = Invalid law
  TacticNotFound =  Tactic not Found
  Unificacao = Impossivel realizar a unificação
  VAR_EXP = VAR EXP
  ParSeq2 = Parallelism composition Sequence Distribution2
  VarExpPar = Var Exp Par
  ParComm = Par Comm
  JoinBlocks = Join Blocks
  InterUnit = Inter Unit
  ParInter2 = Par Inter 2
  VarExpSeq = Var Exp Seq
  Sequence_Unit_Part_3 = Sequence Unit Part 3
  VarExpRec = Var Exp Rec
  ParInterleave = Par Interleave 
  MainVarState = MainVarState
  MainVarState2 = MainVarState2
  Compile=Compile
  Keybord=Virtual Keyboard
  Parser=ArcAngelC Parser
  RecSync2 = Rec Sync2
  InterIndex = Inter Index
  ParOutInpInterExchangeN = ParOutInpInterExchangeN
  ParOutInpInterExchange2 = ParOutInpInterExchange2
  ParOutInpInterExchange3 = ParOutInpInterExchange3
  HidParDist = HidParDist
  HidInterDist = HidInterDist
  HidRecDist = HidRecDist
  HidStep = HidStep
  HidStepRef = HidStepRef
  ParHidDist = Par Hid Dist
  JoinProcHid = Join Proc Hid
  InterSeqAssig = Inter Seq Assig
  InterComm = Inter Comm
  InterUnusedName = Inter Unused Name
  InterSeqExtratcSnd = Inter Seq Extratc Snd
  JoinProcPars = Join Proc Pars
  Hiding_Sequence_distributionRef = Hiding Sequence distributionRef
  HidRecDistRef = HidRecDistRef
  HidContract = Hid Contract
  Generate = Generate Tactic
  EnterCode = Enter ArcAngelC Code