HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

new stub based on LargeWord 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3171 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2005-10-05 12:40:40 +00:00
parent aedc7882c3
commit 190a9166dd
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/fxp/src/contrib/Word32.sml
View File

@ -1,3 +1,8 @@
structure Word32 = LargeWord;
(**********************************
OLD STUB BASED ON WORD8
**********************************)
(*
(*
Title: Standard Basis Library: Word32 Structure
Author: David Matthews
@ -182,3 +187,4 @@ RunCall.addOverload it "=";
val it : Word32.word * Word32.word -> bool =
RunCall.run_call2 RuntimeCalls.POLY_SYS_word_neq;
RunCall.addOverload it "<>";
*)