| products/sources/formale sprachen/PVS/measure_integration/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Determinants.thy Sprache: Unknown
|
Quellsprache: Binärcode.txvpck aufgebrochen in jeweils 16 ZeichenHaskell {Haskell[318] BAT[424] Ada[611]}zum Wurzelverzeichnis wechseln <?xml version="1.0" encoding="utf-8"?> <nodeSet> <view uin="nm6jdkv52v7x4rl_v"> <property name="$defaultDiagram" value="true" /> <property name="$metaclass" value="Package Diagram" /> <property name="$name" value="default" /> <reference referencedUin="design:view:::j98rxu1a1u7vt0q_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="10,10,109,143" /> <reference referencedUin="delphi:e_class:src:Columbo:AboutBox.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:AboutBox.TAboutBox" /> </reference> <reference referencedUin="design:view:::jc8201o3r_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="138,1,111,188" /> <reference referencedUin="delphi:e_class:src:Columbo:Frame22.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:Frame22.TSingleAttribute" /> <reference referencedUin="delphi:e_class:src:Columbo:Frame22.TAttrList" /> <reference referencedUin="delphi:e_class:src:Columbo:Frame22.TFrame2" /> </reference> <reference referencedUin="design:view:::7c8f8gmie_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="287,1,125,143" /> <reference referencedUin="delphi:e_class:src:Columbo:ModelFrame.TModelFrame" /> <reference referencedUin="delphi:e_class:src:Columbo:ModelFrame.@unitclass" /> </reference> <reference referencedUin="design:view:::rb8mmke0s_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="29,172,105,143" /> <reference referencedUin="delphi:e_class:src:Columbo:Frame11.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:Frame11.TFrame1" /> </reference> <reference referencedUin="design:view:::4b8vf7coq_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="153,208,95,233" /> <reference referencedUin="delphi:e_class:src:Columbo:Utilities.langnames" /> <reference referencedUin="delphi:e_class:src:Columbo:Utilities.Editions" /> <reference referencedUin="delphi:e_class:src:Columbo:Utilities.TMemTree" /> <reference referencedUin="delphi:e_class:src:Columbo:Utilities.LongText" /> <reference referencedUin="delphi:e_class:src:Columbo:Utilities.LongTexts" /> <reference referencedUin="delphi:e_class:src:Columbo:Utilities.@unitclass" /> </reference> <reference referencedUin="design:view:::3a8fizmpj_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="54,334,98,171" /> <reference referencedUin="delphi:e_class:src:Columbo:Convert.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:Convert.Destination" /> <reference referencedUin="delphi:e_class:src:Columbo:Convert.Status" /> </reference> <reference referencedUin="design:view:::dy7mi3xlp_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="287,163,109,201" /> <reference referencedUin="delphi:e_class:src:Columbo:Interfaces.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:Interfaces.Highlite" /> <reference referencedUin="delphi:e_class:src:Columbo:Interfaces.NType" /> <reference referencedUin="delphi:e_class:src:Columbo:Interfaces.NBase" /> <reference referencedUin="delphi:e_class:src:Columbo:Interfaces.NDuration" /> </reference> <reference referencedUin="design:view:::km7wdnwhn_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="450,1,140,143" /> <reference referencedUin="delphi:e_class:src:Columbo:SearchReplace.TSearchReplace" <reference referencedUin="delphi:e_class:src:Columbo:SearchReplace.@unitclass" /> </reference> <reference referencedUin="design:view:::0m7umzgei_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="268,383,219,458" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.EInvalidPreviewData" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.TMetafileChangeEvent" <reference referencedUin="delphi:e_class:src:Columbo:Preview.TMetafileList" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.TPaperPaintEvent" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.TPaperPreview" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.TPaperPreviewOptions" <reference referencedUin="delphi:e_class:src:Columbo:Preview.TPreviewPrintProgress <reference referencedUin="delphi:e_class:src:Columbo:Preview.TPreviewAutoCustomFor <reference referencedUin="delphi:e_class:src:Columbo:Preview.TPreviewAnnotation" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.TVertAlign" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.THorzAlign" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.TPreviewState" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.TZoomState" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.TUnits" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.TPaperType" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.TPrintPreview" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.TThumbnail" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.TThumbnailPreview" /> <reference referencedUin="delphi:e_class:src:Columbo:Preview.TPaperSizeInfo" /> </reference> <reference referencedUin="design:view:::rs68rsmx2l4y7bg_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="159,543,105,171" /> <reference referencedUin="delphi:e_class:src:Columbo:Columbo.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:Columbo.cast" /> <reference referencedUin="delphi:e_class:src:Columbo:Columbo.Tffblk" /> </reference> <reference referencedUin="design:view:::fh7se0z5n_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="628,1,202,411" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.TUSED_MEM" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.error_proc" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.TMEM_ROOT" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.enum_server_command" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.TVio" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.TNET" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.TMYSQL_FIELD" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.TMYSQL_ROWS" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.TMYSQL_DATA" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.TMYSQL_OPTIONS" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.mysql_option" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.mysql_status" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.TCHARSET_INFO" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.TMYSQL" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.TMYSQL_RES" /> <reference referencedUin="delphi:e_class:src:Columbo:mysql.extend_buffer_func" /> </reference> <reference referencedUin="design:view:::kt6c3d8x27hmtws_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="525,431,105,143" /> <reference referencedUin="delphi:e_class:src:Columbo:Frame44.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:Frame44.TFrame4" /> </reference> <reference referencedUin="design:view:::p98k950bg_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="525,593,112,126" /> <reference referencedUin="delphi:e_class:src:Columbo:DBAccess.@unitclass" /> </reference> <reference referencedUin="design:view:::5h7kxfnrm_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="525,738,105,143" /> <reference referencedUin="delphi:e_class:src:Columbo:Frame66.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:Frame66.TFrame6" /> </reference> <reference referencedUin="design:view:::bg74fywsk_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="396,879,123,143" /> <reference referencedUin="delphi:e_class:src:Columbo:OptionClass.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:OptionClass.TOptionDialog" /> </reference> <reference referencedUin="design:view:::wf7175i5m_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="287,879,105,143" /> <reference referencedUin="delphi:e_class:src:Columbo:Frame33.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:Frame33.TFrame3" /> </reference> <reference referencedUin="design:view:::9f7upz9vo_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="139,752,121,231" /> <reference referencedUin="delphi:e_class:src:Columbo:UtilitiesOwn.Frames" /> <reference referencedUin="delphi:e_class:src:Columbo:UtilitiesOwn.ViewType" /> <reference referencedUin="delphi:e_class:src:Columbo:UtilitiesOwn.ViewData" /> <reference referencedUin="delphi:e_class:src:Columbo:UtilitiesOwn.FrameState" /> <reference referencedUin="delphi:e_class:src:Columbo:UtilitiesOwn.OwnOptions" /> <reference referencedUin="delphi:e_class:src:Columbo:UtilitiesOwn.@unitclass" /> </reference> <reference referencedUin="design:view:::3g79w3qsf_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="450,163,146,143" /> <reference referencedUin="delphi:e_class:src:Columbo:OptionClassGen.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:OptionClassGen.TOptionDialogG </reference> <reference referencedUin="design:view:::ye7cby7wk_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="40,879,95,156" /> <reference referencedUin="delphi:e_class:src:Columbo:Natural.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:Natural.Verb" /> </reference> <reference referencedUin="design:view:::rd8yi8fjr_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="868,1,109,143" /> <reference referencedUin="delphi:e_class:src:Columbo:Feedback.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:Feedback.TFeedform" /> </reference> <reference referencedUin="design:view:::0d8jyuecj_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="0,506,110,246" /> <reference referencedUin="delphi:e_class:src:Columbo:Graphs.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:Graphs.TDrawingTool" /> <reference referencedUin="delphi:e_class:src:Columbo:Graphs.TArcOrientation" /> <reference referencedUin="delphi:e_class:src:Columbo:Graphs.TGraphNode" /> <reference referencedUin="delphi:e_class:src:Columbo:Graphs.GraphVertex" /> <reference referencedUin="delphi:e_class:src:Columbo:Graphs.TGraphMap" /> <reference referencedUin="delphi:e_class:src:Columbo:Graphs.TGraph" /> </reference> <reference referencedUin="design:view:::wc8lpbu0t_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="675,431,87,126" /> <reference referencedUin="delphi:e_class:src:Columbo:Editor.@unitclass" /> </reference> <reference referencedUin="design:view:::2f8vj88rt_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="675,576,97,143" /> <reference referencedUin="delphi:e_class:src:Columbo:Splash.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:Splash.TSplashForm" /> </reference> <reference referencedUin="design:view:::sc8w0201g_v"> <property name="$shortcutReference" value="true" /> <property name="bounds" value="668,738,129,143" /> <reference referencedUin="delphi:e_class:src:Columbo:StatusThread.@unitclass" /> <reference referencedUin="delphi:e_class:src:Columbo:StatusThread.TStatusThread" /> </reference> </view> </nodeSet> [ Verzeichnis aufwärts0.130unsichere Verbindung ] |