Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
StudyLib Tip

There are different memorization tools:

not userfriendly, paid, or StudyLib

Add your images
Add your audios
Short term learning
Long term learning
Bulk import from text
Import from Anki
Explore flashcards Create flashcards
\ffi- != -+ -J
\ffi- != -+ -J
\F
\F
\f
\f
\eb_presentation_2013_v112513
\eb_presentation_2013_v112513
\documentstyle[twoside,11pt,psfig]{article}
\documentstyle[twoside,11pt,psfig]{article}
\documentstyle[subfloat]{article} \title{about {\tt subfloat.sty}} \author
\documentstyle[subfloat]{article} \title{about {\tt subfloat.sty}} \author
\documentstyle[12pt]{article}
\documentstyle[12pt]{article}
\documentstyle[11pt]{article}
\documentstyle[11pt]{article}
\documentstyle[11pt]{article}
\documentstyle[11pt]{article}
\documentstyle[11pt]{Article}
\documentstyle[11pt]{Article}
\documentclass[aps,prb,twocolumn,superscriptaddress
\documentclass[aps,prb,twocolumn,superscriptaddress
\documentclass[12pt]{article}
\documentclass[12pt]{article}
\DOC variant \TYPE {variant : term list -> term -> term} \SYNOPSIS
\DOC variant \TYPE {variant : term list -> term -> term} \SYNOPSIS
\DOC uptodate_type \TYPE {uptodate_type : hol_type -> bool} \SYNOPSIS
\DOC uptodate_type \TYPE {uptodate_type : hol_type -> bool} \SYNOPSIS
\DOC UNION_CONV \TYPE {UNION_CONV : conv -> conv} \SYNOPSIS
\DOC UNION_CONV \TYPE {UNION_CONV : conv -> conv} \SYNOPSIS
\DOC UNDISCH \TYPE {UNDISCH : (thm -> thm)} \SYNOPSIS
\DOC UNDISCH \TYPE {UNDISCH : (thm -> thm)} \SYNOPSIS
\DOC tprove \SYNOPSIS
\DOC tprove \SYNOPSIS
\DOC SUBS_OCCS \SYNOPSIS
\DOC SUBS_OCCS \SYNOPSIS
\DOC SUBST_TAC \TYPE {SUBST_TAC : (thm list -> tactic)} \SYNOPSIS
\DOC SUBST_TAC \TYPE {SUBST_TAC : (thm list -> tactic)} \SYNOPSIS
\DOC SUBST_OCCS_TAC \SYNOPSIS
\DOC SUBST_OCCS_TAC \SYNOPSIS
\DOC subst_occs \SYNOPSIS
\DOC subst_occs \SYNOPSIS
\DOC SUBST_MATCH \TYPE {SUBST_MATCH : (thm -> thm -> thm)} \SYNOPSIS
\DOC SUBST_MATCH \TYPE {SUBST_MATCH : (thm -> thm -> thm)} \SYNOPSIS
\DOC SUBST_ALL_TAC \TYPE {SUBST_ALL_TAC : thm_tactic} \SYNOPSIS
\DOC SUBST_ALL_TAC \TYPE {SUBST_ALL_TAC : thm_tactic} \SYNOPSIS
\DOC SUBST1_TAC \TYPE {SUBST1_TAC : thm_tactic} \SYNOPSIS
\DOC SUBST1_TAC \TYPE {SUBST1_TAC : thm_tactic} \SYNOPSIS