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

order of files changed 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8003 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Manuel Krucker 2008-05-20 13:49:07 +00:00
parent 58396a34e7
commit 1b8b96ea07
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
su4sml/src/wfcpog/ROOT.ML
View File

@ -38,10 +38,10 @@
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
******************************************************************************)
(* $Id$ *)
use "library.sml";
use "rep_holocl.sml";
use "datatab.sml";
use "library.sml";
use "wfcpog.sml";
(* wfcs and pogs *)