Changes in Todo http://src.iws.cs.ovgu.de/source/rss/hets/HasCASL/doc/Todo en Copyright 2005 Java further HasCASL2IsabelleHOL problems git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5869 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - 15266581d6a1efcfdef46fdc5f585491595e5047 Christian Maeder <Christian.Maeder@dfki.de> Isabelle stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5375 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - c8f89667ecf606b24418e35bec8c66fe2a5704fa Christian Maeder <Christian.Maeder@dfki.de> added items git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5317 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - 1987182fcaa48837e7b6a323e22cfb0cb57c667c Christian Maeder <Christian.Maeder@dfki.de> updated git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5108 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - e12060f6b377b0783138431a3716126e12a6671e Christian Maeder <Christian.Maeder@dfki.de> clarified git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4968 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - acc8b88d801c026a46da4e5ba34110c5384ac745 Christian Maeder <Christian.Maeder@dfki.de> removed FunType, ProductType and LazyType in favour of TypeAppls git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4967 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - d48085f765fca838c1d972d2123601997174583d Christian Maeder <Christian.Maeder@dfki.de> redesigned subtypes and their defns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4902 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - 975642b989852fc24119c59cf40bc1af653608ff Christian Maeder <Christian.Maeder@dfki.de> fixed test cases git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4776 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - 8c271acbe48e7c48571d5c9a7420201eae0561e6 Christian Maeder <Christian.Maeder@dfki.de> works as before on the examples git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4670 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - 87147fc0ce51105c46094830194fe3191d29ddfa Christian Maeder <Christian.Maeder@dfki.de> kind inference is wrong git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4542 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - f4d2adb22998bc523bfecc5295460d8b9fa6ea16 Christian Maeder <Christian.Maeder@dfki.de> added twice example from overview git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4537 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - c81507d35d11b2eedf7425a3bb52bceec3224532 Christian Maeder <Christian.Maeder@dfki.de> added empty lambda git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4535 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - 9d366b8f5c7972eeab315cb317feb8be264fad23 Christian Maeder <Christian.Maeder@dfki.de> added documentation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4527 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - e902f04e075e525f2d7fc15a694e59c1b6331c60 Christian Maeder <Christian.Maeder@dfki.de> settled shadowing hints git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4523 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - fe5dbb45b6a8abf34375b4bc5f2a81cda664c0e4 Christian Maeder <Christian.Maeder@dfki.de> error when subtyping function types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4495 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - b5ae094776014b09c5d8b9f3fc91cbe3041211d8 Christian Maeder <Christian.Maeder@dfki.de> simply ignored redeclaration of builtin identifiers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4473 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - 34bb32bddb823b1b7ec26e2ba30785edc4e1602a Christian Maeder <Christian.Maeder@dfki.de> added items git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4343 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - 0ed1d09c7b7cd6e26b869757509b78f03e140c6a Christian Maeder <Christian.Maeder@dfki.de> removed CASL/Overload.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4012 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - fefc47a49fa40695524219affd089427759e41bd Christian Maeder <Christian.Maeder@dfki.de> extended morphismUnion git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3852 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - deb7bff126ec547bd812d0c8683ad6e785a45abb Christian Maeder <Christian.Maeder@dfki.de> updated Morphism stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3848 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/doc/Todo - 111c54f59f3ecc9c19dbe84565dff8839a4c7b43 Christian Maeder <Christian.Maeder@dfki.de>