Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/Tools/BNF/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 6 kB image not shown  

Impressum README   Sprache: unbekannt

 
This directory contains sample input files illustrating  
the construction of the standard pcp of a p-group.

All contain presentations supplied using "key word" format.
To execute the contents of  "file", use the following command

pq -i -k < file

Note the use of -k to specify the use of "key word" format.

[ Seitenstruktur0.13Drucken  etwas mehr zur Ethik  ]