Don Stewart 63717dc07c Update examples to use new module names

2005-05-15 06:03:55 +00:00

..

badint

Update examples to use new module names

2005-05-15 06:03:55 +00:00

null

Update examples to use new module names

2005-05-15 06:03:55 +00:00

numclass

Update examples to use new module names

2005-05-15 06:03:55 +00:00

poly

Update examples to use new module names

2005-05-15 06:03:55 +00:00

poly1

Update examples to use new module names

2005-05-15 06:03:55 +00:00

should_fail0

Update examples to use new module names

2005-05-15 06:03:55 +00:00

should_fail1

Update examples to use new module names

2005-05-15 06:03:55 +00:00

small

Update examples to use new module names

2005-05-15 06:03:55 +00:00

spj1

Update examples to use new module names

2005-05-15 06:03:55 +00:00

spj2

Update examples to use new module names

2005-05-15 06:03:55 +00:00

spj3

Update examples to use new module names

2005-05-15 06:03:55 +00:00

spj4

Update examples to use new module names

2005-05-15 06:03:55 +00:00

typealias

Update examples to use new module names

2005-05-15 06:03:55 +00:00

univquant

Update examples to use new module names

2005-05-15 06:03:55 +00:00