| 5b465790447d54472837f1084ed3e751c745d0dc |
|
30-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
improved definition of lifted function spaces and explanation of newtype translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8510 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c4e48c487e8797c2a101d15b2fc542d2de4b2246 |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
final reading
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8509 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4d8cfbb65324759c9ca537ff7a364c5fa5372693 |
|
29-Jul-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
typos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8508 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 413201905fc2c50c77555aea8f73444d2841126c |
|
29-Jul-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
formatting
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8507 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4f849938992bb91e68d651145acbb20b919d3a57 |
|
29-Jul-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
typos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8506 cec4b9c1-7d33-0410-9eda-942365e851bb |
| eee2119f1e850ad533252f43212664b25d83e7ad |
|
29-Jul-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
typos in sections 4-6
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8505 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5d222a875fe9457bbc61140ba06b85cde53b4a62 |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8504 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e1201831787ad2919649a57f359006f30a8fedb0 |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8503 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d4dc8e8f329453ad4756c92de860d3c1833abf6e |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
some example proof
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8502 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0078e2f9b2d9ad3ceec2b68817ab1cc31ee50813 |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
removed destructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8501 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8241bc853cd629fb5c6299e6b8d5d546ee731343 |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
conclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8500 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17 |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
sections on classes and terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8499 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6a4b188beb6b1e3bd94867074c27995a01f529c2 |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
completely restructured the paper
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8498 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 846fb262bddd024972b6d4820762bd85ebe0f352 |
|
28-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
started re-structuring
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8497 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7e80cfe2052409faa4ff745448c2f5ec8dd909f9 |
|
18-Jul-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
first revision for TPHOL B track
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8398 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c60dd75d214d1b29462ee2262d4e0f468a962450 |
|
20-Feb-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
updated version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7476 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 56f499bbc75665b431ab11e7f9f3fb05f2607c52 |
|
10-Jan-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7299 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 12138d113e5e25fc91b7e8ba0a179a3da00b9a91 |
|
24-Sep-2006 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
correction on let expression
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6966 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 278efe81d7d9f2e475e76c74c0db8622ccef99eb |
|
04-Sep-2006 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
tech report about translation Haskell to Isabelle last version - source
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6918 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 984e73d7bd9693bb0f113d956969b7d1483f5925 |
|
04-Sep-2006 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
tech report about translation Haskell to Isabelle last version - source
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6917 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5175cc8f6f6980c8f39123859284391ff51f5f55 |
|
21-Apr-2006 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
documentation about the translation from haskell to isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6227 cec4b9c1-7d33-0410-9eda-942365e851bb |