COD0001 = Desenvolvimento
  COD0002 = Novo ...
  COD0003 = Abrir ...
  COD0004 = Fechar
  COD0005 = Salvar
  COD0006 = Salvar Como ...
  COD0007 = Imprimir
  COD0008 = Sair
  COD0011 = Exibir
  COD0012 = Refinamento
  COD0013 = Codigo Atual
  COD0014 = Obrigacoes de Prova
  COD0015 = Leis 
  COD0018 = Ajuda
  COD0019 = Tópicos
  COD0020 = Sobre
  COD0021 = Leis
  COD0040 = Aplicando a Lei ...
  COD0063 = Não existe lei ou múltiplas leis selecionadas na janela de Leis.
  COD0072 = OK
  COD0078 = Cancelar
  COD0079 = Descartar
  COD0083 = Código
  COD0084 = Obrigação de Prova
  COD0105 = Salvando desenvolvimento ...
  COD0109 = Parametro
  COD0110 = Digite o predicado:
  COD0111 = Abrir Refinamento...
  COD0129 = Inserir Comentário
  COD0262 = Erro ao tentar abrir programa.
  COD0263 = Não é possível salvar programa.
  COD0268 = Desfazer
  COD0269 = Refazer
  COD0272 = Editar
  COD0273 = Detalhes da lei...
  COD0275 = Digite o comentário:
  COD0276 = Comentário:
  COD0279 = Comentários
  COD0285 = Visualisar Comentário
  COD0286 = Lei Aplicada
  COD0287 = Descrição
  COD0288 = Aplicar Lei
  COD0289 = Ocultar
  COD0290 = Coletar Código
  COD0293 = Comentarios
  COD0460 = Digite a expressão:
  COD0461 = Digite a ação:
  COD0462 = Digite o conjunto de nomes:
  COD0463 = Digite o conjunto de canais:
  COD0464 = O programa selecionado não é uma ação
  COD0465 = Erros de Tipo
  COD0466 = A especificação possui os seguintes erros de tipo:
  COD0469 = Digite o nome do canal:
  COD0470 = A lei selecionada possui os seguintes erros de tipo:
  COD0471 = Ação principal
  COD0472 = Coletar Ação
  COD0473 = External Choice Commutativity
  COD0474 = Guard/Internal choice--distribution
  COD0475 = Skip
  COD0476 = Prefix distribution
  COD0477 = Parallelism composition commutativity
  COD0478 = Guard combination
  COD0479 = Guards expansion
  COD0480	= Guard/Sequence--associativity
  COD0481 = Erro de Unificação
  SchemaExpressionsLaw = Schema Expressions
  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 = Leis:  
  COD0484 = Nome: 
  COD0485 = Obrigações:
  COD0486 = Observações:
  COD0487 = Antes:
  COD0488 = Depois:
  COD0492 = Guard/Interleaving -- distribution 1
  COD0493 = External choice/Prefix distribution
  COD0494 = Digite a lista de nomes:
  COD0495 = Digite o nome: 
  COD0496 = Digite a lista de renomeações:
  COD0497 = Digite a lista de declarações:
  COD0498 = Digite o stroke:
  COD0499 = Digite a lista de expressões:
  COD0500 = Digite o processo: 
  COD0501 = Recursion distribution
  COD0502 = Visualizar Comentário
  COD0503 = Acoes
  COD0504 = Processos
  COD0505 = Termo Inicial
  COD0506 = Guarded Stop
  COD0507 = Editar Comentario
  COD0508 = Remover Comentario
  COD0509 = Pressione F12 e os comandos Latex serao covertidos em simbolos Unicode
  COD0510 = Erro de sintaxe
  COD0511 = Arquivo : 
  COD0513 = Coletar
  COD0514 = Coletar Processo
  COD0515 = Channel extension 4 Incluido um canal
  COD0517 = Erros:
  COD0518 = Detalhes>>
  COD0519 = Detalhes<<
  COD0520 = Channel extension 4 Retirando um canal
  COD0521 = Abrir Especificação...
  COD0522 = Selecione os itens:
  COD0523 = Os itens selecionados farão parte do arquivo gerado .tex
  COD0524 = Especificação Original
  COD0525 = Obrigações de Prova
  COD0526 = Comentarios em lista
  COD0527 = Comentarios antes de linha
  COD0528 = Comentarios depois de linha
  COD0529 = Recursion -- least fixed-point
  COD0530 = Digite o parágrafo:
  COD0531 = Digite as listas de parágrafos:
  COD0532 = Refinamento
  COD0533 = Inserir novo Parágrafo de Ação
  COD0534 = Inserir novo Parágrafo
  COD0535 = Especifica\\c{c}\\~{a}o Original
  COD0536 = Remover Parágrafo
  COD0537 = Lei de Cópia
  COD0538 = Transformar Predicado
  COD0539 = TERMO COLETADO
  COD0540 = ===> TERMO COLETADO <=== 
  COD0541 = External Choice/Sequence distribution 2
  COD0542 = Gerando arquivo .tex de saída
  COD0543 = Simulação
  COD0544 = Refinamento de Ação
  COD0545 = Refinamento de Processos
  COD0546 = Refinamento de Esquema
  COD0547 = Normalizar
  COD0548 = ESPECIFICACAO ORIGINAL
  COD0549 = DESENVOLVIMENTO
  COD0550 = OBRIGACOES DE PROVA
  COD0551 = COMANDOS AUXILIARES
  COD0552 = ADICIONANDO PACOTES
  COD0553 = COMENTARIOS
  COD0554 = Initialisation schema/Sequence--introduction
  COD0555 = Lei de Cópia (Inversa)
  COD0556 = CODIGO FINAL
  COD0557 = Hiding Identity
  COD0558 = Hiding Sequence distribution
  COD0559 = Schemas Parallelism composition distribution
  COD0560 = Process splitting
  COD0561 = Nome Primeiro Processo
  COD0562 = Nome Segundo Processo
  COD0563 = Lista de nomes dos paragráfos do primeiro processo
  COD0564 = Ação principal do primeiro processo
  COD0565 = Ação principal do segundo processo
  COD0566 = Nome do estado do 1o. processo
  COD0567 = Nome do estado do 2o. processo
  COD0569 = Predicado
  COD0573 = Refinamento de Suposição
  COD0574 = Refinamento de Guardas
  COD0575 = Refinamento de Composição Paralela
  COD0576 = Refinamento de Intercalação
  COD0577 = Refinamento de Prefixo
  COD0578 = Refinamento de Escolha Externa
  COD0579 = Refinamento de Escolha Interna
  COD0580 = Refinamento de Abstração (Hiding)
  COD0581 = Refinamento de Recursão
  COD0582 = Refinamento de Sequencia
  COD0583 = Refinamento de Caos
  COD0584 = Refinamento de Blocos de variáveis
  COD0585 = Refinamento de Alternação
  COD0586 = Refinamento de Substituição
  COD0587 = Exibição em Latex
  COD0588 = Exibição em Unicode
  COD0589 = Sobre CRefine
  COD0590 = Associatividade da Sequência
  COD0591 = Decomposição de Esquema
  COD0592 = Clique aqui para selecionar a lei
  COD0593 = Parallelism Composition/Sequence--step
  COD0594 = Erro nos arquivos de internacionalizacao. 
  Verifique se estao de acordo com a versao mais atual.
  COD0595 = Original
  COD0596 = Avaliado
  COD0597 = Assumption/Input prefix - distribution
  COD0598 = Parallelism composition introduction 1* (1)
  COD0599 = Erro na geracao do arquivo de impressao
  COD0600 = Prova Manual
  COD0601 = Verdadeiro
  COD0602 = Falso
  COD0603 = Nao Checado
  COD0604 = Identificador
  COD0605 = Carregando...
  COD0606 = Decomposição de esquema com predicado
  COD0609 = Erro de entrada/saída
  COD0612 = Definição \Xi
  COD0616 = Elemento Neutro de conjunção de esquemas
  COD0617 = Teste de wrtV
  COD0618 = Há uma declaração de conjunto de nomes
  COD0619 = Parágrafo de estado inválido
  COD0620 = Não conseguiu classificar algum parágrafo
  COD0621 = Arquivo em formato invalido
  COD0622 = Documento Gerado com Sucesso
  COD0624 = O argumento não pôde ser parseado
  COD0625 = Adicionar
  COD0626 = Paragrafo
  COD0627 = --> PARAGRAFO INSERIDO 
  COD0628 = A especificação não pôde ser editada
  COD0631 = Copiar
  COD0632 = Erro na aplicacao de lei
  COD0632 = Erro na mudanca de formato Unicode/Latex
  COD0633 = Unicode/Latex Error
  COD0634 = Aplicacao de Lei cancelada
  COD0635 = Erro na coleta de termo
  COD0636 = Mudar a lista de declarações
  COD0637 = Mudar lista de declarações (sem predicado)
  COD0638 = Transformar em uma aplicação de \Xi
  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 = Formato de arquivo invalido. 
  COD0658 = A inserção de parágrafo foi cancelada
  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 = Predicado provado através do analisador sintático de CRefine
  COD0718 = Predicado considerado falso pelo analisador sintático de CRefine 
  COD0719 = O analisador sintático de CRefine não consegue determinar valor
   verdade para o predicado.
  COD0720 = Predicado provado verdadeiro pelo Provador de Teoremas veriT
  COD0721 = Predicado determinado falso pelo Provador de Teoremas veriT
  COD0722 = O Provador de Teoremas veriT não pode analisar tal predicado.
  COD0723 = O predicado não pôde ser transformado num arquivo de entrada para
   o Provador de Teoremas veriT.
  COD0724 = Log da OP
  COD0725 = Gerar
  COD0726 = Arquivo veriT
  COD0727 = Gerando arquivo SMT
  COD0728 = Detalhes de Erros: 
  COD0729 = Programa Modificado.
  COD0730 = Você gostaria de salvar suas mudanças ?  
  COD0731 = Arquivo SMT Puro
  COD0732 = Provar
  COD0733 = Iniciar Prova
  COD0734 = Continuar Prova
  COD0735 = OP
  COD0736 = Não foi encontrado Pai para o subdesenvolvimento carregado
  COD0737 = Descartar todos 
  COD0738 = Alvo
  COD0739 = Visualizar
  COD0740 = Predicado provado com sucesso
  COD0741 = Coletar Especificação
  COD0742 = Guarded/Parallelism composition -- distribution 2
  COD0743 = Coletar Termo Inicial
  COD0744 = External Choice/Sequence distribution 
  COD0745 = Recursion Unfold - folding recursion
  COD0746 = Sequence Unit part 1
  COD0747 = Sequence Unit part 2
  COD0748 = O Predicado deve ser enviado a um Model-Checker para ser analisado
  COD0749 = Channel extension 3
  COD0750 = Parallelism Compositon/External Choice Expansion
  COD0751 = Recursion Unfold - unfolding recursion
  COD0752 = Parallelism Compositon/External Choice Distribution
  DevelopmentProved = Predicado provado por Sub-Desenvolvimento.
  ViewProof = Ver Prova
  ReachedSubDevelopmentTitle = Termo de Destino Alcançado!
  ReachedSubDevelopment = Termo de destino alcançado.
  Para concluir o sub-desenvolvimento tem-se que provar as OPs remanescentes.
  SubDevelopment = Sub Desenvolvimento
  BasicConversion = Basic Conversion
  BasicConversionNoChangeState = Basic Conversion (Operações que não modificam o estado)
  DeltaSError = Law Application failed - Wrong format Schema - Could not find Delta S
  SNotFoundError = Could not find S in the specification
  ReduceStep = Aplicar Definição de um nome em Esquema
  NameNotFound = Nome não encontrado em esquema
  DefinitionNotFound = A definição do nome não foi encontrada.
  SchemaExpressionsLaw = Schema Expressions
  DataRefinement = Refinamento de Dados do Processo
  ChangeProcessStateOP = A ação principal do proecsso deve estar de acordo com o novo estado.
  DontForgetStateDeclaration = Não esqueça de declarar o estado. Utilizee o comando "\circstate".
  SaveError = Erro na operação de Salvar
  LeiTeste = Lei Teste de Chaos
  ZRC = Zed Refinement Calculus
  SchemaDisjunctionConversion = Schema Disjunction Conversion
  SchemaConjuctionConversion = Schema Conjuction Conversion
  SchemaCompositionConversion = Schema Composition Conversion
  GuardDistribution = Guard Distribution
  SchemaRefinement = Schema Refinement
  Refinamento=Táticas de Refinamento
  ArcAngelC=ArcAngelC
  Tactics=Táticas
  Skip=Tatica Skip
  NewT = Nova Tática
  OpenT = Abrir Tática
  RemoveT = Remover Tática
  SaveT = Save Tactic
  TacticError = Sintatic Error
  NoDetails = Sem datalhes a serem exibidos
  ErrorDetails = Detalhes do Erro
  SaveTactic= Primeiro é necessário salvar a Tática
  SaveError = Erro ao Salvar
  AddTactic = Tática Adicionada e Compilada com Sucesso
  EditTactic = Tática Compilada com Sucesso
  EmptyFile = Arquivo Vazio
  ApplyTactic = Aplicar Tática
  LawNotFound = Lei não Encontrada
  LawNotValidCRulesMsg = A lei não é válida
  TacticNotFound = Tatica não encontrada
  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=Compilar
  Keybord=Teclado Virtual
  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 = Gerar Tática
  EnterCode = Insira o Código ArcAngelC