Quelle  init.g   Sprache: unbekannt

#############################################################################
##
#A  init.g              StandardFF package                       Frank Lübeck
##
##  Reading the declarations of the package.
##  

ReadPackage( "StandardFF", "lib/Util.gd");
ReadPackage( "StandardFF", "lib/IsIrred.gd");
ReadPackage( "StandardFF", "lib/StandardFF.gd");
ReadPackage( "StandardFF", "lib/StandardCyc.gd");

# an info class
DeclareInfoClass("InfoStandardFF");

[ Dauer der Verarbeitung: 0.3 Sekunden  (vorverarbeitet)  ]