(para compatibilidades com o site CTAN, este arquivo estah formatado em 7bits) 

turnstile
  Este estilo eh baseado no article.cls, usado para a composicao de
  artigos. Entre outras utilizacoes, a barra de Frege eh usada
  pelos logicos para denotar a relacao de consequencia, com
  respeito a uma dada logica, entre colecoes de formulas e
  formulas. O pacote turnstile foi feito para desenhar a
  barra de Frege em varias formas, e para colocar dados abaixo e 
  acima deste simbolo.

AUTORES
  Arthur Buchsbaum e Francisco Reinaldo
  arthur@gmail.com, reinaldo.opus@gmail.com


COPYRIGHT
  Este programa eh provido sob os termos de Licenca Publica do
  Projeto LaTeX, distribuido a partir dos arquivos do CTAN no
  diretorio macros/latex/base/lppl.txt.
  (C) 2007 Arthur Buchsbaum e Francisco Reinaldo

VERSAO
  Este eh o turnstile versao 1.0.

MUDANCAS
  1.0  Primeira versao publica.

Arquivos e Diretorios no CTAN
  README.pt              Este arquivo.
  turnstile-pt.dtx       A fonte para o estilo turnstile
  turnstile-pt.pdf       Versao em pdf do estilo
  turnstile-pt.ins       Driver para o turnstile-pt.dtx
  turnstile_artigo.tex   A fonte para o artigo
  turnstile_artigo.pdf   Versao em pdf da documentacao,
                         publicada por PracTeX Journal: Numero 2007-3.
         
REQUISITOS
  A instalacao do pacote turnstile requer os pacotes ifthen.
  Por favor, use <<a derradeira versao do LaTeX>>.

INSTALACAO
  O procedimento de instalacao eh descrito na documentacao,
  mas voce pode tambem seguir estes passos:

  1. Puxe os arquivos turnsilte-pt\turnstile-pt.ins e 
	 turnsilte-pt\turnstile-pt.dtx para um diretorio preferencialmente 
	 vazio. Se voce pretende manter a documentacao, eh melhor criar 
	 um diretorio adequado e colocar la todos os arquivos agora mesmo.
  2. Inicie uma shell onde voce pode entrar com os comandos pelo
     teclado.
  3. Va para o diretorio onde voce colocou os arquivos
     turnstile-pt.ins e turnstile-pt.dtx.
  4. Execute o comando:
      pdflatex turnstile-pt.ins
     Voce obtera o arquivo turnstile.sty 
  5. Execute o comando:
      pdflatex turnstile-pt.dtx
     para produzir a documentacao e testar a instalacao.
     Execute este comando mais uma vez para obter as referencias, antes
     de consulta-la.