equal
deleted
inserted
replaced
40 and greatest fixed point). The <tt>Basic_BNFs.thy</tt>, <tt>More_BNFs.thy</tt>, |
40 and greatest fixed point). The <tt>Basic_BNFs.thy</tt>, <tt>More_BNFs.thy</tt>, |
41 and <tt>Countable_Set_Type.thy</tt> files register various basic types, notably |
41 and <tt>Countable_Set_Type.thy</tt> files register various basic types, notably |
42 for sums, products, function spaces, finite sets, multisets, and countable sets. |
42 for sums, products, function spaces, finite sets, multisets, and countable sets. |
43 Custom BNFs can be registered as well. |
43 Custom BNFs can be registered as well. |
44 |
44 |
45 <p> |
|
46 <b>Warning:</b> The package is under development. Please contact any nonempty |
|
47 subset of |
|
48 <a href="mailto:traytel@in.tum.de">the</a> |
|
49 <a href="mailto:popescua@in.tum.de">above</a> |
|
50 <a href="mailto:blanchette@in.tum.de">authors</a> |
|
51 if you have questions or comments. |
|
52 |
|
53 </body> |
45 </body> |
54 |
46 |
55 </html> |
47 </html> |