src/ZF/cartprod.thy
author wenzelm
Tue, 20 Oct 1998 16:26:20 +0200
changeset 5686 1f053d05f571
parent 1734 604da1a11a99
permissions -rw-r--r--
Symtab.foldl;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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"