| author | paulson |
| Fri, 25 Sep 1998 14:05:13 +0200 | |
| changeset 5565 | 301a3a4d3dc7 |
| parent 1734 | 604da1a11a99 |
| permissions | -rw-r--r-- |
|
1734
604da1a11a99
New functor for operating on the two forms of Cartesian product
paulson
parents:
diff
changeset
|
1 |
(*Dummy theory to document dependencies *) |
|
604da1a11a99
New functor for operating on the two forms of Cartesian product
paulson
parents:
diff
changeset
|
2 |
|
|
604da1a11a99
New functor for operating on the two forms of Cartesian product
paulson
parents:
diff
changeset
|
3 |
cartprod = "ind_syntax" |