products/sources/formale Sprachen/Isabelle/HOL/Data_Structures/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 686 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.6 Sekunden  (vorverarbeitet)  ]