Library: dfmc-modeling
Files:   modeling-library
	 model-object-macros
         namespace-macros
         boot
	 model-object
         namespaces
         values
	 objects
         signatures
         functions
         types
         classes
         singletons
         unions
         limited-integers
         limited-collections
	 subclasses
	 primitive-macros
	 raw-type-macros
	 raw-types
	 primitives
         emulator-machine-word-primitives-support
	 machine-word-primitives
         float-primitives
         thread-primitives
	 c-function-models
	 inlineable
	 operations
	 hashing
         compile-time-types
         call-site-summary
Copyright:    Original Code is Copyright (c) 1995-2004 Functional Objects, Inc.
              All rights reserved.
License:      Functional Objects Library Public License Version 1.0
Dual-license: GNU Lesser General Public License
Warranty:     Distributed WITHOUT WARRANTY OF ANY KIND
Other-files: Open-Source-License.txt