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 \n 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:\nI) O termo selecionado nao unifica as meta-variáveis\nII) 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.\n 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\n 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.\nIn 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