Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/ACCoRD/   (PVS Prover Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 81 kB image not shown  

SSL strategies.pvs   Interaktion und
Portierbarkeitunbekannt

 
strategies : THEORY
BEGIN

  IMPORTING structures@Unit,
            strat_util

  %% This constant is used by the strategies to check if all the required theories 
  %% have been imported in the current context

  BernsteinStrategy__ : Unit 

END strategies


Messung V0.5 in Prozent
C=85 H=100 G=92

[Verzeichnis aufwärts0.15unsichere VerbindungÜbersetzung europäischer Sprachen durch Browser2026-06-15]