| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Pure/ (Isabelle Prover Version 2025-1©) Datei vom 16.11.2025 mit Größe 185 B |
|
Quelle name.scalaSprache: Scala |
|||||||||||||||
|
/* Title: Pure/name.scala Author: Makarius Items with formal name. */ package isabelle object Name { trait T { def name: String } type Data[A] = Map[String, A] }
¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet am 2026-06-30) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09