author wenzelm
Wed, 15 Feb 2006 21:34:55 +0100
changeset 19046 bc5c6c9b114e
parent 17563 abb280dd3431
child 19555 7938d8e0c52d
permissions -rw-r--r--
removed distinct, renamed gen_distinct to distinct;

<?xml version='1.0' encoding='iso-8859-1' ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "">
<!-- $Id$ -->
<dummy:wrapper xmlns:dummy="">
    <!-- the very base - here all elements are fixed to a certain base style -->
    <link rel="stylesheet" type="text/css" media="all" href="//css/aelfwine.css"/>
    <!-- basic isabelle-site-specific styles -->
    <link rel="stylesheet" type="text/css" media="all" href="//css/isabelle_base.css"/>
    <!-- advanced sceen styles - they are imported such that they are ignored by old-fashioned browsers -->
    <style type="text/css" media="screen">
        @import url(<?relativeRoot href="css/isabelle_screen.css"?>);
    <!-- advanced print styles -->
    <link rel="stylesheet" type="text/css" media="print" href="//css/isabelle_print.css"/>
    <link rel="icon" href="//img/favicon.ico" type="image/icon"/>
    <meta name="language" content="en"/>
    <meta name="robots" content="index follow"/>
    <meta name="author" content="Tobias Nipkow, Lawrence Paulson, Markus Wenzel, Gerwin Klein, Florian Haftmann" />