products/sources/formale sprachen/PVS/analysis image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Extended_Nat.thy   Sprache: XML

<?xml version="1.0" encoding="UTF-8" ?>
<!DOCTYPE ldml SYSTEM "../../common/dtd/ldml.dtd">
<!-- Copyright © 1991-2022 Unicode, Inc.
For terms of use, see http://www.unicode.org/copyright.html
SPDX-License-Identifier: Unicode-DFS-2016
CLDR data files are interpreted according to the LDML specification (http://unicode.org/reports/tr35/)
-->

<ldml>
 <identity>
  <version number="$Revision$"/>
  <language type="en"/>
  <territory type="SI"/>
 </identity>
 <numbers>
  <symbols numberSystem="latn">
   <decimal>,</decimal>
   <group>.</group>
   <exponential>e</exponential>
  </symbols>
  <currencyFormats numberSystem="latn">
   <currencyFormatLength>
    <currencyFormat type="accounting">
     <pattern>#,##0.00 ¤;(#,##0.00 ¤)</pattern>
    </currencyFormat>
   </currencyFormatLength>
  </currencyFormats>
 </numbers>
</ldml>

¤ Dauer der Verarbeitung: 0.28 Sekunden  (vorverarbeitet)  ¤





Druckansicht
unsichere Verbindung
Druckansicht
sprechenden Kalenders

Eigene Datei ansehen




Laden

Fehler beim Verzeichnis:


in der Quellcodebibliothek suchen

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff