products/sources/formale Sprachen/PVS/analysis/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: card_comp_transitive.pvs   Sprache: Unknown

Spracherkennung für: .lyx vermutete Sprache: Fortran {Fortran[79] CS[124] Abap[126]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

#This file was created by <garst> Fri Jan  8 16:22:26 1999
#LyX 1.0 (C) 1995-1998 Matthias Ettrich and the LyX Team
\lyxformat 2.15
\textclass hollywood
\language default
\inputencoding default
\fontscheme default
\graphics default
\paperfontsize 12
\spacing single 
\papersize letterpaper
\paperpackage a4
\use_geometry 1
\use_amsmath 0
\paperorientation portrait
\leftmargin 1.6in
\topmargin 0.5in
\rightmargin 0.75in
\bottommargin 0.75in
\headheight 0.5in
\headsep 12bp
\footskip 0.5in
\secnumdepth 2
\tocdepth 2
\paragraph_separation indent
\defskip medskip
\quotes_language english
\quotes_times 2
\papercolumns 1
\papersides 1
\paperpagestyle default

\layout Title

<your title>
\layout Author
\added_space_bottom vfill 
<your name>
\layout Right Address

<your address>
\newline 
<continued>
\layout Narrative
\pagebreak_top 
Delete this text.
\layout Standard

Don't date your script
\layout Standard

Use a three hole punch.
\layout Standard

Bind it in plain vanilla with no text on the binding.
\layout Standard

Use two 1.5in brass brads and hammer them down.
\layout Standard

Remember---nothing goes in a script that you cannot see or hear!! 1 page
 per minute.
 120 pages max.
\the_end

[ Dauer der Verarbeitung: 0.53 Sekunden  ]