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