Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
products/sources/formale Sprachen/GAP/pkg/openmath/doc/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 25.1.2023 mit Größe 153 B image not shown  

Quelle  ragged.css   Sprache: unbekannt

 
/* times.css                                              Frank Lübeck */
/* Change default CSS to use Times font.    */

body { 
  text-align: left;
}

[ Dauer der Verarbeitung: 0.8 Sekunden  (vorverarbeitet)  ]