Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Tools/VSCode/patches/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 560 B image not shown  

Quelle  init.g   Sprache: unbekannt

 
############################################################################
##
#W  init.g                 The XMODALG package               Zekeriya Arvasi
#W                                                            & Alper Odabas
#Y  Copyright (C) 2014-2024, Zekeriya Arvasi & Alper Odabas,  
##

if not IsBound( PreImagesRepresentativeNC ) then 
    BindGlobal( "PreImagesRepresentativeNC", PreImagesRepresentative ); 
fi; 

##  read the function declarations
ReadPackage( "xmodalg", "lib/algebra.gd" );
ReadPackage( "xmodalg", "lib/alg2obj.gd" );  
ReadPackage( "xmodalg", "lib/module.gd" );
ReadPackage( "xmodalg", "lib/alg2map.gd" );  

[ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ]