| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/summaries/ (Beweissystem der NASA Version 6.0.9©) Datei vom 7.10.2014 mit Größe 47 kB |
|
Quelle recdef.ML Sprache: SML |
|||||||||
|
(* Title: HOL/Tools/recdef.ML
Author: Markus Wenzel, TU Muenchen Wrapper module for Konrad Slind's TFL package. *) ¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28