Changes in ideas http://src.iws.cs.ovgu.de/source/rss/hets/ideas en Copyright 2005 Java some ideas from Sept. 2011 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17941 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ideas - 3881c469ed14d0bc1974c2a15e396b83ca16f5c0 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> some references about tool chains git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10000 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ideas - 5e47bbd77c4d8dfc224acce06af5fb3ee1a562cf Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> moved things to Trac git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7570 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ideas - 7692cb629ab7ab3557479681a2b7427a9e2490af Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> moved things to Trac git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7426 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ideas - 262b469babd58a3442c8f3949093917e17997974 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> __* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7109 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ideas - 1a5743d241301ef790bc34ab60e00a49f9e3fbbe Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> __* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5372 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ideas - 8793c68e374ef07d13eac84293d351ab46f47047 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> __* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4415 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ideas - db373255bd95ce4de47dde876c3a3bfc49c22a97 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> __* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4289 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ideas - 1c1b291a3d146eeb4e7e66e73e9fa891e075b509 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> __* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3684 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ideas - 67d5e49547d78aa56a8f9ba5e64a950b730eba66 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> Debugging of inline list comprehensions corrected axioms in CASL2PCFOL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2707 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ideas - 83a9571a3df107123eb25f59ac52c576468f2952 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> __* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2572 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ideas - f3a84cc409ed345569be6673d05072dcb4291ebe Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> Basic inference debugged git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2416 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ideas - 968edf72c9abb1e35ad5f41419d0399c6d9acf32 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> Better backtracking for symbol map analysis; todo updated git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2354 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ideas - f69658e57cba7ecb37c0d84181f4c563215c2534 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> __* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2342 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ideas - 144d4893ba5a3815bd1639d498ee4a20ed13a211 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>