2000-02-28 15:22:47 +00:00
|
|
|
#% Do not delete the line below; configure depends on this
|
2010-08-14 01:28:47 +00:00
|
|
|
# \DeclareLaTeXClass[llncs,aliascnt.sty,multicol.sty]{article (Springer LNCS)}
|
2003-10-13 09:50:10 +00:00
|
|
|
# llncs (article) textclass definition file.
|
2000-02-28 15:22:47 +00:00
|
|
|
# --------
|
|
|
|
#
|
|
|
|
# Taken from initial LyX source code
|
|
|
|
# Author : Matthias Ettrich <ettrich@informatik.uni-tuebingen.de>
|
2007-07-24 17:16:35 +00:00
|
|
|
# Transposed by Pascal André <andre@via.ecp.fr>
|
2000-02-28 15:22:47 +00:00
|
|
|
# Heavily modified and enhanced by serveral developers.
|
|
|
|
#
|
|
|
|
# --------
|
|
|
|
# Based on ejour2.layout.
|
|
|
|
# ejour2 made originally by Martin Vermeer based on article.layout.
|
|
|
|
# Modified for LyX 12 by Jean-Marc Lasgouttes and MV.
|
2003-09-15 14:29:22 +00:00
|
|
|
|
|
|
|
|
2011-01-12 23:20:07 +00:00
|
|
|
Format 31
|
2003-05-02 08:55:48 +00:00
|
|
|
Columns 1
|
|
|
|
Sides 1
|
|
|
|
PageStyle Plain
|
2000-02-28 15:22:47 +00:00
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Standard
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin Static
|
|
|
|
LatexType Paragraph
|
|
|
|
LatexName dummy
|
|
|
|
ParIndent MM
|
|
|
|
ParSkip 0.4
|
|
|
|
Align Block
|
|
|
|
AlignPossible Block, Left, Right, Center
|
|
|
|
LabelType No_Label
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 15:11:39 +00:00
|
|
|
|
2007-08-28 14:32:06 +00:00
|
|
|
Input stdinsets.inc
|
2000-02-28 15:22:47 +00:00
|
|
|
Input stdsections.inc
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Chapter
|
2003-05-02 08:55:48 +00:00
|
|
|
Align Center
|
|
|
|
AlignPossible Block,Left,Center
|
2009-12-05 22:55:38 +00:00
|
|
|
TocLevel 0
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Section
|
2003-05-02 08:55:48 +00:00
|
|
|
Font
|
|
|
|
Series Bold
|
|
|
|
Size Large
|
|
|
|
EndFont
|
2009-12-05 22:55:38 +00:00
|
|
|
TocLevel 1
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Subsection
|
2005-05-11 09:49:02 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Series Bold
|
|
|
|
Size Normal
|
|
|
|
EndFont
|
2009-12-05 22:55:38 +00:00
|
|
|
TocLevel 2
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Subsubsection
|
2005-05-11 09:49:02 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Series Bold
|
|
|
|
Size Normal
|
|
|
|
EndFont
|
2009-12-05 22:55:38 +00:00
|
|
|
TocLevel 3
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Paragraph
|
2003-10-13 09:50:10 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Series Medium
|
|
|
|
Shape Italic
|
|
|
|
Size Normal
|
|
|
|
EndFont
|
2009-12-05 22:55:38 +00:00
|
|
|
TocLevel 4
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Subparagraph
|
2003-05-02 08:55:48 +00:00
|
|
|
Font
|
|
|
|
Series Medium
|
|
|
|
Shape Up
|
|
|
|
Size Normal
|
|
|
|
EndFont
|
2009-12-05 22:55:38 +00:00
|
|
|
TocLevel 5
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
# Now define the starred versions from the normal ones.
|
|
|
|
Input stdstarsections.inc
|
|
|
|
|
2003-09-15 15:11:39 +00:00
|
|
|
NoStyle Part
|
2011-01-12 23:19:02 +00:00
|
|
|
NoCounter part
|
2003-09-15 15:11:39 +00:00
|
|
|
NoStyle Part*
|
|
|
|
NoStyle Chapter
|
2011-01-12 23:19:02 +00:00
|
|
|
NoCounter chapter
|
2000-02-28 15:22:47 +00:00
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
# Some standard things
|
|
|
|
Input stdlayouts.inc
|
|
|
|
Input stdlists.inc
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Title
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin Static
|
|
|
|
LatexType Command
|
|
|
|
InTitle 1
|
|
|
|
LatexName title
|
|
|
|
NextNoIndent 1
|
|
|
|
ParSkip 0.4
|
|
|
|
TopSep 1.3
|
|
|
|
BottomSep 0.7
|
|
|
|
ParSep 0.7
|
2003-10-13 09:50:10 +00:00
|
|
|
Align Center
|
2003-05-02 08:55:48 +00:00
|
|
|
AlignPossible Block, Center, Left, Right
|
|
|
|
LabelType No_Label
|
|
|
|
Fill_Top 1
|
|
|
|
Fill_Bottom 1
|
2003-10-13 09:50:10 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Family Sans
|
|
|
|
Series Bold
|
|
|
|
Size Largest
|
|
|
|
EndFont
|
2010-01-19 19:43:15 +00:00
|
|
|
HTMLTitle true
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Subtitle
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin Static
|
|
|
|
LatexType Command
|
|
|
|
InTitle 1
|
|
|
|
LatexName subtitle
|
|
|
|
NextNoIndent 1
|
|
|
|
ParSkip 0.4
|
|
|
|
ItemSep 0
|
|
|
|
TopSep 0
|
|
|
|
BottomSep 0
|
|
|
|
ParSep 0
|
|
|
|
Align Left
|
|
|
|
LabelType No_Label
|
2003-10-13 09:50:10 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Family Sans
|
|
|
|
Series Bold
|
|
|
|
Size Large
|
|
|
|
EndFont
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2002-11-04 14:09:44 +00:00
|
|
|
Style Running_LaTeX_Title
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin Static
|
|
|
|
InTitle 1
|
|
|
|
LatexType Command
|
|
|
|
LatexName titlerunning
|
|
|
|
NextNoIndent 1
|
|
|
|
LeftMargin "Running title:xxx"
|
|
|
|
LabelSep xxx
|
|
|
|
ParSkip 0.4
|
|
|
|
TopSep 1.3
|
|
|
|
BottomSep 0.7
|
|
|
|
ParSep 0.7
|
|
|
|
Align Left
|
|
|
|
LabelType Static
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Running title:"
|
2003-10-13 09:50:10 +00:00
|
|
|
LabelFont
|
2003-05-02 08:55:48 +00:00
|
|
|
Series Bold
|
|
|
|
Shape Italic
|
|
|
|
Color Red
|
|
|
|
EndFont
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style TOC_Title
|
2005-04-28 13:08:05 +00:00
|
|
|
CopyStyle Running_LaTeX_Title
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName toctitle
|
|
|
|
LeftMargin "TOC title:xxx"
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "TOC title:"
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Author
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin Static
|
|
|
|
LatexType Command
|
|
|
|
InTitle 1
|
|
|
|
LatexName author
|
|
|
|
NextNoIndent 1
|
|
|
|
ParSkip 0.4
|
|
|
|
TopSep 0.7
|
|
|
|
BottomSep 0.7
|
|
|
|
ItemSep 0
|
|
|
|
ParSep 0
|
|
|
|
Align Left
|
|
|
|
LabelType No_Label
|
2003-10-13 09:50:10 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Series Bold
|
|
|
|
Shape Italic
|
|
|
|
EndFont
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Author_Running
|
2005-04-28 13:08:05 +00:00
|
|
|
CopyStyle Running_LaTeX_Title
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName authorrunning
|
|
|
|
LeftMargin "Author Running:xxx"
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Author Running:"
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style TOC_Author
|
2005-04-28 13:08:05 +00:00
|
|
|
CopyStyle Running_LaTeX_Title
|
2003-05-02 08:55:48 +00:00
|
|
|
LatexName tocauthor
|
|
|
|
LeftMargin "TOC Author:xxx"
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "TOC Author:"
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Institute
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin Static
|
|
|
|
LatexType Command
|
|
|
|
InTitle 1
|
|
|
|
LatexName institute
|
|
|
|
NextNoIndent 1
|
|
|
|
ParSkip 0.4
|
|
|
|
TopSep 1.3
|
|
|
|
BottomSep 0.7
|
|
|
|
ParSep 0.7
|
|
|
|
Align Left
|
|
|
|
LabelType No_Label
|
2003-10-13 09:50:10 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Size Small
|
|
|
|
EndFont
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2003-04-30 15:29:00 +00:00
|
|
|
Style Email
|
2005-04-28 13:08:05 +00:00
|
|
|
CopyStyle Running_LaTeX_Title
|
2003-10-13 09:50:10 +00:00
|
|
|
LatexName email
|
2003-05-02 08:55:48 +00:00
|
|
|
LeftMargin "Email:xxx"
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Email:"
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2003-10-13 09:50:10 +00:00
|
|
|
Style Abstract
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin First_Dynamic
|
|
|
|
LatexType Environment
|
|
|
|
LatexName abstract
|
|
|
|
NextNoIndent 0
|
|
|
|
ParIndent MM
|
|
|
|
LabelSep xx
|
|
|
|
ItemSep 0
|
|
|
|
TopSep 0.7
|
|
|
|
BottomSep 0.7
|
|
|
|
ParSep 0
|
|
|
|
Align Block
|
|
|
|
AlignPossible Block, Left
|
|
|
|
LabelType Top_Environment
|
2005-06-13 09:36:58 +00:00
|
|
|
LabelString "Abstract."
|
2003-10-13 09:50:10 +00:00
|
|
|
LabelFont
|
2003-05-02 08:55:48 +00:00
|
|
|
Series Bold
|
|
|
|
EndFont
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2000-02-28 15:22:47 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Bibliography
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin First_Dynamic
|
|
|
|
LatexType Bib_Environment
|
|
|
|
LatexName thebibliography
|
|
|
|
NextNoIndent 1
|
|
|
|
LeftMargin MM
|
|
|
|
ParSkip 0.4
|
|
|
|
ItemSep 0
|
|
|
|
TopSep 0.7
|
|
|
|
BottomSep 0.7
|
|
|
|
ParSep 0.5
|
|
|
|
Align Block
|
|
|
|
AlignPossible Block, Left
|
|
|
|
LabelType Bibliography
|
2005-06-13 09:36:58 +00:00
|
|
|
LabelString "References"
|
2003-05-02 08:55:48 +00:00
|
|
|
LabelBottomSep 0.7
|
2003-10-13 09:50:10 +00:00
|
|
|
LabelFont
|
2003-05-02 08:55:48 +00:00
|
|
|
Series Bold
|
|
|
|
EndFont
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
|
2003-09-15 15:11:39 +00:00
|
|
|
# Mathematics-like definitions:
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Case
|
2003-05-02 08:55:48 +00:00
|
|
|
Margin First_Dynamic
|
|
|
|
LatexType Environment
|
|
|
|
LatexName case
|
|
|
|
NextNoIndent 0
|
|
|
|
ParIndent MM
|
|
|
|
LabelSep xx
|
|
|
|
ItemSep 0
|
|
|
|
TopSep 0.5
|
|
|
|
BottomSep 0.5
|
|
|
|
ParSep 0
|
|
|
|
Align Block
|
|
|
|
AlignPossible Block, Left
|
|
|
|
LabelType Static
|
2005-06-13 09:36:58 +00:00
|
|
|
LabelString "Case #."
|
2003-10-13 09:50:10 +00:00
|
|
|
LabelFont
|
2003-05-02 08:55:48 +00:00
|
|
|
Shape Italic
|
|
|
|
EndFont
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Claim
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName claim
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Claim."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Conjecture
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName conjecture
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Conjecture #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Corollary
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName corollary
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Corollary #."
|
2003-10-13 09:50:10 +00:00
|
|
|
Font
|
2003-05-02 08:55:48 +00:00
|
|
|
Shape Italic
|
|
|
|
EndFont
|
2003-10-13 09:50:10 +00:00
|
|
|
LabelFont
|
2003-05-02 08:55:48 +00:00
|
|
|
Shape Up
|
|
|
|
Series Bold
|
|
|
|
EndFont
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Definition
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Corollary
|
|
|
|
LatexName definition
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Definition #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Example
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName example
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Example #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Exercise
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName exercise
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Exercise #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Lemma
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Corollary
|
|
|
|
LatexName lemma
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Lemma #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Style Note
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName note
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Note #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Problem
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Exercise
|
|
|
|
LatexName problem
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Problem #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Proof
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Claim
|
|
|
|
LatexName proof
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Proof."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Property
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName property
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Property #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Proposition
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Corollary
|
|
|
|
LatexName proposition
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Proposition #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Style Question
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
2003-10-13 09:50:10 +00:00
|
|
|
LatexName question
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Question #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Remark
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName remark
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Remark #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Solution
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Case
|
|
|
|
LatexName solution
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Solution #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2000-02-28 15:22:47 +00:00
|
|
|
Style Theorem
|
2003-05-02 08:55:48 +00:00
|
|
|
CopyStyle Corollary
|
|
|
|
LatexName theorem
|
2005-07-17 10:48:55 +00:00
|
|
|
LabelString "Theorem #."
|
2000-02-28 15:22:47 +00:00
|
|
|
End
|
|
|
|
|
2003-09-15 14:29:22 +00:00
|
|
|
|
2003-02-28 16:25:33 +00:00
|
|
|
Input stdfloats.inc
|
2002-10-24 14:09:08 +00:00
|
|
|
Input stdcounters.inc
|
2008-02-05 20:55:32 +00:00
|
|
|
Input stdinsets.inc
|
2010-07-11 13:45:21 +00:00
|
|
|
Input theorems-refprefix.inc
|